Assertion list
satellite (aspect of planet ) → AtLocation
Results from Ascent++: 1
satellite → AtLocation → orbit 0.25