Assertion list
work (aspect of sen ) → ReceivesAction
Results from Ascent++: 1
work → ReceivesAction → supported by grant 0.59