Assertion list for term "remain on the runway".

Results from Ascent++: 1
aircraft CapableOfremain on the runway 0.40