Assertion list for term "used by the sender".
Results from Ascent++: 2
key → ReceivesAction → used by the sender 0.32
address → ReceivesAction → used by the sender 0.32