Assertion list for term "compared using natural ordering".
Results from Ascent++: 1
value (aspect of function) → ReceivesAction → compared using natural ordering 0.25