Assertion: machine | /r/HasProperty | redirected in the example
Facets:
value: back to its original state
type: OTHER
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.