Assertion: flop's input | /r/HasProperty | logic
Facets:
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.