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

Помимо идентификатора, зарезервированное слово interface разрешено в качестве имени предиката, для обеспечения совместимости с предыдущим изданием данного международного стандарта.