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