Assertion list for term "sent to destination".
Results from Ascent++: 2
message → ReceivesAction → sent to destination 0.39
transcript → ReceivesAction → sent to destination 0.25