Assertion list
gps satellite (subgroup of satellite ) → AtLocation
Results from Ascent++: 2
gps satellite → AtLocation → orbit 0.41
gps satellite → AtLocation → view of mobile sps receivers 0.41