Assertion list
orbiting satellite (subgroup of satellite ) → CapableOf
Results from Ascent++: 1
orbiting satellite → CapableOf → provide datum 0.25