Assertion list
solid rocket (subgroup of rocket ) → ReceivesAction
Results from Ascent++: 1
solid rocket → ReceivesAction → ignited 0.68