Assertion list for term "decoded by the receiver".

Results from Ascent++: 1
signal ReceivesActiondecoded by the receiver 0.33