Assertion list for term "based on implication".

Results from Ascent++: 1
standard ReceivesActionbased on implication 0.24