Assertion list for term "determined by the event".
Results from Ascent++: 1
body (aspect of monitor) → ReceivesAction → determined by the event 0.68