Assertion list for term "terminated in the event".
Results from Ascent++: 2
agreement → ReceivesAction → terminated in the event 0.48
contract → ReceivesAction → terminated in the event 0.40