Assertion: output's value | /r/HasProperty | passed to the fill valve output
Facets:
Source sentences:
text: When the water level is below both switches, the float switch physical contacts are both closed, and a true (logic 1) value is passed to the Fill Valve output.