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