Assertion: latch's input | /r/HasProperty | asserted
Facets:
Source sentences:
text: After the input is de-asserted, the flip-flip retains it state.