``` syntax E = E "+" E | "1"; ``` The uses of E have no relation in the TModel to the definition.
The uses of E have no relation in the TModel to the definition.