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