Assertion list for term "used to extract comparison".
Results from Ascent++: 1
argument (aspect of function) → ReceivesAction → used to extract comparison 0.25