Assertion list for term "driven by decrease".

Results from Ascent++: 1
fall ReceivesActiondriven by decrease 0.30