Assertion: latch's input | /r/HasProperty | changed to logic
Facets:
Source sentences:
text: The S and R inputs are normally at logic 0, and must be changed to logic 1 to change the state of the latch.