Assertion list for term "suitable number of ports".
Results from Ascent++: 1
multiplexer → HasA → suitable number of ports 0.48