Assertion: machine | /r/CapableOf | reach the rightmost symbol
Facets:
value: on the tape
type: LOCATION
Source sentences:
text: This is achieved by having the machine first move to the beginning of the tape (indicated by a special mark) and then to have it move right until it finds or reaches the rightmost symbol on the tape.