Assertion list
role (aspect of interpreter ) → ReceivesAction
Results from Ascent++: 2
role → ReceivesAction → created 0.25
role → ReceivesAction → limited 0.25