Assertion list
space station (primary) → AtLocation
Results from Ascent++: 1
space station → AtLocation → orbit 0.49