Assertion list for term "end up in orbit".

Results from Ascent++: 1
satellite CapableOfend up in orbit 0.33