Assertion list
sufficient condition (subgroup of condition ) → ReceivesAction
Results from Ascent++: 1
sufficient condition → ReceivesAction → derived 0.68