Assertion: machine's state | /r/HasProperty | encoded as part of the tape
Facets:
Source sentences:
text: The "states" are encoded as part of the tape.