Assertion: multiplexer's output line | /r/CapableOf | connect to the input
Facets:
Source sentences:
text: When S is 0, the first output line connects to the input.
text: When S is 1, the second output line connects to the input.