Assertion: machine | /r/AtLocation | the leftmost 1
Facets:
value: of \(n_j\
type: OTHER
Source sentences:
text: The machine moves to the leftmost 1 of \(N_j\) (\(q_5\)), removes that first 1 (\(q_1\)) and starts again in \(q_2\).