Assertion list
different mechanism (subgroup of mechanism ) → ReceivesAction
Results from Ascent++: 1
different mechanism → ReceivesAction → provided 0.25