Assertion list for term "discard the message".

Results from Ascent++: 1
receiver CapableOfdiscard the message 0.33