Assertion list for term "receive transmitted signal".

Results from Ascent++: 1
receiver CapableOfreceive transmitted signal 0.60