Assertion list
rational number (primary) → HasA
Results from Ascent++: 1
rational number → HasA → numerator 0.25