Assertion list
new satellite (subgroup of satellite ) → ReceivesAction
Results from Ascent++: 3
new satellite → ReceivesAction → launched 0.68
new satellite → ReceivesAction → added 0.41
new satellite → ReceivesAction → deployed 0.25