Assertion: latch's output | /r/HasProperty | no change condition
Facets:
Source sentences:
text: That means at EN = 0, any change in input D does not affect the output (No Change Condition).