Assertion: flop's state | /r/HasProperty | illegal
Facets:
Source sentences:
text: The state of S = R = 1 is therefore "illegal" and should never be entered.