Assertion: machine's state | /r/HasProperty | original
Facets:
Source sentences:
text: In the example, the machine is redirected back to its original state, State 0, to repeat the read-write-nove sequence, unless a blank symbol is read.