Assertion list
role (aspect of interpreter ) → ReceivesAction

Results from Ascent++: 2
roleReceivesAction created 0.25
roleReceivesAction limited 0.25