Ключевые слова.

Следующие слова являются зарезервированными; вы не должны использо-

вать их как имена, определенные пользователем.

and domains goal include

clauses elsedef if or

constants enddef ifdef predicates

database global ifndef