Assertion list for term "represent the number of wheels".

Results from Ascent++: 1
integer CapableOfrepresent the number of wheels 0.33