Assertion list
geostationary satellite (subgroup of satellite ) → HasProperty
Results from Ascent++: 2
geostationary satellite → HasProperty → motionless 0.35
geostationary satellite → HasProperty → visible 0.31