Assertion: thermostat's terminal | /r/HasProperty | connected
Facets:
Source sentences:
text: If there are not separate wires to R and Rc, these terminals must be connected.