Assertion: pull resistor | /r/HasProperty | connected to gnd
Facets:
Source sentences:
text: The pushbutton is connected to the positive voltage, and then, a pull-down resistor is connected to GND.