Assertion list for term "required for execution".
Results from Ascent++: 1
right (aspect of contractor) → ReceivesAction → required for execution 0.44