Assertion list for term "occur after atmospheric entry".

Results from Ascent++: 1
landing CapableOfoccur after atmospheric entry 0.25