Assertion list
orbiting satellite (subgroup of satellite ) → ReceivesAction
Results from Ascent++: 1
orbiting satellite → ReceivesAction → difficult to protect 0.59