Assertion: multiplexer's output | /r/HasProperty | y0 - y3
Facets:
Source sentences:
text: A 1 to 4 multiplexer uses 2 select lines (S0, S1) to determine which one of the 4 outputs (Y0 - Y3) is routed from the input (D).
text: Change the input and observe that it is routed to the selected output (Y0 - Y3)