Assertion: circuit's output | /r/CapableOf | become high
Facets:
Source sentences:
text: is zero, so the output becomes HIGH.