Assertion list for term "adapted to map one or more control signals".

Results from Ascent++: 1
circuit ReceivesActionadapted to map one or more control signals 0.28