Assertion: machine's state | /r/HasProperty | the content of the square
Facets:
Source sentences:
text: Where \(q_i\) is the current state, \(S_j\) the content of the square being scanned, \(S_{i,j}\)