Assertion: multiplexer's output | /r/HasProperty | combined with an or gate
Facets:
Source sentences:
text: The AND outputs are then combined with an OR gate.