Assertion: multiplexer's control input | /r/HasAspect | many bits
Facets:
Source sentences:
text: The control input has as many bits as needed for the selection.