Assertion: machine | /r/CapableOf | scan the content of one square r
Facets:
value: at any moment
type: TEMPORAL
Source sentences:
text: At any moment, the machine is scanning the content of one square r which is either blank (symbolized by \(S_0\)) or contains a symbol \(S_{1},\ldots ,S_{m}\) with \(S_1 = 0\) and \(S_2 = 1\).