Assertion list for term "ordered for 12".

Results from Ascent++: 1
subscription ReceivesActionordered for 12 0.25