Assertion: multiplexer's output | /r/HasProperty | one of the inputs
Facets:
Source sentences:
text: The output will be one of the inputs given to MUX, which is decided by selection lines.