Assertion list for term "receive one or more control signals".

Results from Ascent++: 1
adder CapableOfreceive one or more control signals 0.25