Assertion: flop's input | /r/HasProperty | non-allowed state
Facets:
value: at logic
type: MANNER
Source sentences:
text: 5.2.4) both inputs are at logic 1 rather than the non-allowed state where both inputs would be logic 0.