Assertion list for term "sent after the event".

Results from Ascent++: 1
written contract (subgroup of contract) ReceivesActionsent after the event 0.34