Assertion list
necessary condition (subgroup of condition ) → ReceivesAction
Results from Ascent++: 1
necessary condition → ReceivesAction → met 0.84