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