Assertion list for term "terminate for convenience".
Results from Ascent++: 1
right (aspect of contractor) → CapableOf → terminate for convenience 0.19