Assertion: gate's output | /r/HasProperty | held with either input
Facets:
value: at logic
type: MANNER
Source sentences:
text: With either input at logic 0, the output will be held to logic 1.