Assertion: latch's output | /r/HasProperty | pulled low
Facets:
Source sentences:
text: The output Q will become high and the inverted output Q will be pulled low.