Ascent++ | touch down in the case of an arrival

Assertion list for term "touch down in the case of an arrival".

Results from Ascent++: 1

aircraft → CapableOf → touch down in the case of an arrival