Assertion list for term "sent by the agent".

Results from Ascent++: 1
trap ReceivesActionsent by the agent 0.25