Assertion: latch's state | /r/HasProperty | eliminated
Facets:
Source sentences:
text: The ambiguous state has been eliminated here: when the inputs of Jk latch are high, then output toggles.