Assertion list
space shuttle (primary) → AtLocation
Results from Ascent++: 1
space shuttle → AtLocation → orbit 0.46