Assertion: output | /r/AtLocation | the line
Facets:
Source sentences:
text: If all outputs attached to the line are in the high-impedance state, the pull-up resistor will hold the wire in a high voltage (logic 1) state.