Assertion: flop's output | /r/HasProperty | undefined
Facets:
Source sentences:
text: Both PR and CLR cannot be low at the same time - the output is undefined.