Assertion list for term "transmitted to pin".

Results from Ascent++: 1
signal ReceivesActiontransmitted to pin 0.16