Assertion: push button | /r/HasProperty | depressed
Facets:
Source sentences:
text: A typical push button switch has two active terminals that are normally open and these two terminals get internally shorted when the push button is depressed.