Assertion list for term "ordered in error".
Results from Ascent++: 3
good → ReceivesAction → ordered in error 0.54
part → ReceivesAction → ordered in error 0.28
return → ReceivesAction → ordered in error 0.23