Assertion list
communication satellite (subgroup of satellite ) → IsA
Results from Ascent++: 2
communication satellite → IsA → artificial satellite 0.34
communication satellite → IsA → syncom 0.34