Assertion list for term "limited to the lesser".

Results from Ascent++: 1
deduction ReceivesActionlimited to the lesser 0.31