Assertion list for term "arrive at the receiver".

Results from Ascent++: 1
signal CapableOfarrive at the receiver 0.62