We implement substrings of strings in the following way. Consider the following sequence of commands:
The first command defines a string whose name is `A'. The second command defines a second string, called `B', whose definition part includes a substring extracted from the string whose name is `A'. Indeed, the syntax ` ' means that we should replace ` ' by the third, fourth, fifth, and sixth characters of the string `A'. Thus, `B' will be defined as `tuvcdefwxyz'.
In general, if is detected as input, then `name' is assumed to be the name of a string and a and b to be integers (or equations which will be rounded to integers) marking the desired substring of this named string. The to the characters inclusive of this named string then replace the piece of input in square brackets. The square brackets are also removed.
The rules governing substrings are as follows. Suppose that we encounter the sequence of characters in a command line. N should be the name of a string and a and b are equations which will be rounded to the nearest integer. Suppose that L is the length of the string whose name is N.