Assertion list for term "located beyond the end of the runway".

Results from Ascent++: 1
airplane CapableOflocated beyond the end of the runway 0.25