Assertion: open push button | /r/HasProperty | pressed
Facets:
Source sentences:
text: When the normally open push button is pressed, a low will be produced at the input of the INVERTER.