Assertion list for term "ordered to lower one".

Results from Ascent++: 1
chip ReceivesActionordered to lower one 0.28