Assertion list for term "received by the communication device".

Results from Ascent++: 1
signal ReceivesActionreceived by the communication device 0.34