Assertion list for term "correspond to various floating-point constants".
Results from Ascent++: 1
value (aspect of function) → CapableOf → correspond to various floating-point constants 0.25