Assertion list
landing (primary) → IsA

Results from Ascent++: 1
landingIsA arrival 0.25