Assertion: multiplexer's output | /r/HasProperty | defined along the port-list
Facets:
value: in the next line
type: LOCATION
Source sentences:
text: The input and output can be defined either along the port-list or separately in the next line.