Assertion: machine | /r/HasProperty | to move one square
Facets:
value: to \(q_{i
type: TRANSITIVE-OBJECT
value: to the left
type: TRANSITIVE-OBJECT
value: to remain at the same square
type: PURPOSE
value: to the right
type: MANNER
Source sentences:
text: the new content of the square; \(M_{i,j}\) specifies whether the machine is to move one square to the left, to the right or to remain at the same square, and \(q_{i,j}\) is the next state of the machine.