Assertion list
real number (primary) → ReceivesAction
Results from Ascent++: 3
real number → ReceivesAction → defined 0.63
real number → ReceivesAction → matched up to the number 0.25
real number → ReceivesAction → printed in the table 0.25