Assertion list for term "halt the program".
Results from Ascent++: 2
circumstance → CapableOf → halt the program 0.27
injunction → CapableOf → halt the program 0.25