J.12 Предикат Interface

В дополнение к идентификатору, зарезервированное слово interface разрешено в качестве имени предиката, чтобы обеспечить совместимость с предыдущей редакцией этого Руководства.