Assertion list for term "stop at terminal".
Results from Ascent++: 1
train → CapableOf → stop at terminal 0.38