Assertion list for term "numerator".

Results from Ascent++: 1
rational number HasAnumerator 0.25