Assertion list for term "implemented in the form of partial orders".
Results from Ascent++: 1
filling → ReceivesAction → implemented in the form of partial orders 0.27