Но он должен разрешать глобальные переменные своего модуля. Аналогично он может разрешать эксп-е глобальные переменные другого модуля, к которым мы обр-ся через Qualident.
Кстати в Вашем примере исп-ся
## Код:
```
Designator    =   Qualident {"." ident | "[" ExprList "]" | " ^ " | "(" Qualident ")"
      | "(" [ExprList] ")"} [ "$" ].
```
