Assertion list for term "never exercised".
Results from Ascent++: 1
right (aspect of contractor) → ReceivesAction → never exercised 0.25