Assertion list for term "a plurality of inputs".

Results from Ascent++: 1
multiplexer HasAa plurality of inputs 0.51