Assertion list
body (aspect of monitor ) → ReceivesAction
Results from Ascent++: 2
body → ReceivesAction → determined by the event 0.68
body → ReceivesAction → adapted 0.25