Assertion: latch's input | /r/HasProperty | s = r = 0
Facets:
Source sentences:
text: Here, both the inputs S and R are 0 (S = R = 0).