Assertion: latch's output | /r/CapableOf | become true
Facets:
Source sentences:
text: Output D will turn off if input B becomes true and the output with a U inside becomes true