Assertion: multiplexer's output | /r/HasProperty | selected high
Facets:
Source sentences:
text: This way, when the output is selected and "Z" goes high, the LED on that output will turn on.