Assertion: multiplexer's data input | /r/HasProperty | routed to the output
Facets:
Source sentences:
text: The data input to be "routed" to the output is the one selected using the selection inputs, i.e. the one whose number, expressed in binary, is put on the selection inputs.