Assertion list for term "terminate within reasonable time".
Results from Ascent++: 1
license → CapableOf → terminate within reasonable time 0.49