Assertion list for term "exercised in the order".
Results from Ascent++: 1
right (aspect of tenant) → ReceivesAction → exercised in the order 0.25