Assertion list for term "reach the receiver".

Results from Ascent++: 2
beam CapableOfreach the receiver 0.39
message CapableOfreach the receiver 0.35