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