Assertion list
remainder (primary) → IsA
Results from Ascent++: 1
remainder → IsA → the number 0.53