Assertion list for term "sent to device".
Results from Ascent++: 3
message → ReceivesAction → sent to device 0.49
command → ReceivesAction → sent to device 0.34
output (aspect of function) → ReceivesAction → sent to device 0.29