Assertion list for term "on the number line".

Results from Ascent++: 1
rational number IsAon the number line 0.25