Assertion list for term "specified in relevant order".
Results from Ascent++: 1
body (aspect of seal) → ReceivesAction → specified in relevant order 0.25