Assertion: machine's state | /r/HasProperty | valid
Facets:
Source sentences:
text: Those five independent boolean variables are replaced with a single state machine which intrinsically can only be in valid states.