Объявление ссылочных доменов.

Ссылочный домен может содержать свободные переменные. Чтобы объявить

ссылочный домен, начните правую часть объявления домена ключевым словом

reference. Если вы объявляете составной домен как ссылочный, то все его

поддомены автоматически объявляются как ссылочные домены.

domains

reflist = reference refint*

refint = reference integer

term = reference int(refint); symb(refsymb)

refsymb = reference symbol