Assertion list for term "used to represent the input signal".

Results from Ascent++: 1
bit ReceivesActionused to represent the input signal 0.43