Assertion list
communication satellite (subgroup of satellite ) → AtLocation
Results from Ascent++: 1
communication satellite → AtLocation → geostationary orbit 0.76