Assertion: multiplexer's data input | /r/HasProperty | connected to the output
Facets:
Source sentences:
text: If A = 1, then data input I 1 will be connected to the output Z.