Assertion list
rational number (primary) → IsA
Results from Ascent++: 4
rational number → IsA → number 0.68
rational number → IsA → real number 0.64
rational number → IsA → whole number 0.45
rational number → IsA → on the number line 0.25