Ïðåäèêàò, èñïîëüçóåìûé â ïðîãðàììå, äîëæåí èìåòü îïðåäåëåíèå ïðåäèêàòà. Åñëè ïðåäèêàò îïðåäåëÿåòñÿ â äðóãîì ìîäóëå ïðîãðàììû, òî ïðåäèêàò ìîæåò áûòü ïðåäñòàâëåí ñâîåé ñïåöèôèêàöèåé.
ÑÏÅÖÈÔÈÊÀÖÈß-ÏÐÅÄÈÊÀÒÀ ::=
ÈÌß-ÏÐÅÄÈÊÀÒÀ ÎÏÈÑÀÍÈÅ-ÑÏÅÖÈÔÈÊÀÖÈÈ-ÏÐÅÄÈÊÀÒÀ
Èìÿ ïðåäèêàòà îáîçíà÷àåò ïðåäèêàò, ïðåäñòàâëåííûé îïèñàíèåì ñïåöèôèêàöèè ïðåäèêàòà.
ÎÏÈÑÀÍÈÅ-ÑÏÅÖÈÔÈÊÀÖÈÈ-ÏÐÅÄÈÊÀÒÀ ::=
ÎÏÈÑÀÍÈÅ-ÑÏÅÖÈÔÈÊÀÖÈÈ-ÏÐÅÄÈÊÀÒÀ-ÔÓÍÊÖÈÈ |
ÎÏÈÑÀÍÈÅ-ÑÏÅÖÈÔÈÊÀÖÈÈ-ÏÐÅÄÈÊÀÒÀ-ÃÈÏÅÐÔÓÍÊÖÈÈ
ÎÏÈÑÀÍÈÅ-ÑÏÅÖÈÔÈÊÀÖÈÈ-ÏÐÅÄÈÊÀÒÀ-ÔÓÍÊÖÈÈ ::=
ÇÀÃÎËÎÂÎÊ-ÏÐÅÄÈÊÀÒÀ [pre ÏÐÅÄÓÑËÎÂÈÅ][post ÏÎÑÒÓÑËÎÂÈÅ]
ÎÏÈÑÀÍÈÅ-ÑÏÅÖÈÔÈÊÀÖÈÈ-ÏÐÅÄÈÊÀÒÀ-ÃÈÏÅÐÔÓÍÊÖÈÈ ::=
ÇÀÃÎËÎÂÎÊ-ÏÐÅÄÈÊÀÒÀ-ÃÈÏÅÐÔÓÍÊÖÈÈ [ÏÐÅÄÓÑËÎÂÈß-ÃÈÏÅÐÔÓÍÊÖÈÈ]
[ÏÎÑÒÓÑËÎÂÈß-ÂÅÒÂÅÉ]