Assertion: latch's output | /r/HasProperty | stable
Facets:
Source sentences:
text: This means that there are two cases of inputs where the output of a latch is stable.