Assertion: latch's state | /r/HasProperty | taken
Facets:
Source sentences:
text: The flip flop binary state is taken to be the value of the normal output.