... буквы_и_цифры = [ буквы_и_цифры [ "_" ] ] буква_или_цифра . ... буквы_и_цифры ] . ... структура = функтор "(" термы_и_выражения ")" . термы_и_выражения = [ термы_и_выражения "," ] терм_или_выражение . ... заголовок_класса = имя_класса [ specializing имя_класса ] . ... конструктор_резидента = [ параметр_или_конструктор ] "??" простой_атом . ... атом = простой_атом | ... простой_атом = функтор [ "(" [ термы_и_выражения [ "*" ] ] ")" ] | ... объявление_функции = простой_атом "=" терм_или_выражение . ...