Assertion: push button | /r/HasProperty | returned to its open condition
Facets:
Source sentences:
text: Since the OR gate now has a high connected to its B input, its output will remain high when the push button is returned to its open condition and input A becomes low.