Assertion list for term "provided by reduction".

Results from Ascent++: 1
cash ReceivesActionprovided by reduction 0.32