Assertion list for term "used in the receiver".

Results from Ascent++: 1
tube ReceivesActionused in the receiver 0.25