Assertion list
geostationary satellite (subgroup of satellite ) → IsA
Results from Ascent++: 1
geostationary satellite → IsA → satellite 0.38