Assertion list for term "stop within remaining distance".

Results from Ascent++: 1
airplane CapableOfstop within remaining distance 0.19