Assertion list
role (aspect of guard ) → ReceivesAction
Results from Ascent++: 1
role → ReceivesAction → reversed 0.56