Assertion list
communication satellite (subgroup of satellite ) → HasProperty
Results from Ascent++: 1
communication satellite → HasProperty → geosynchronous 0.35