Assertion list
partial commutation (subgroup of commutation ) → ReceivesAction

Results from Ascent++: 1
partial commutationReceivesAction made 0.68