Assertion list for term "detected by the receiver".

Results from Ascent++: 1
signal ReceivesActiondetected by the receiver 0.58