Assertion list for term "set to higher".
Results from Ascent++: 2
compatibility → ReceivesAction → set to higher 0.48
parameter → ReceivesAction → set to higher 0.29