Assertion: multiplexer's input | /r/HasProperty | routed to the output
Facets:
Source sentences:
text: The control inputs will henceforth be called select lines since they are used to select one (and only one) input to be routed to the output.
text: So input 2 would be routed to the output.