17.3.1 Продукцией "EncodeWith" является:
EncodeWith ::=
"{" ENCODE CombinedEncodings "}"
17.3.2 "CombinedEncodings" и его применение к классу кодирования определены в разделе 13.
17.3.3 Объект кодирования, определенный в "EncodeWith", является приложением "Combined-Encodings" к классу кодирования, который является руководителем (см. 17.1.3) нотации "EncodeWith".
17.3.4 Спецификация будет ошибочной, если это не выработает полную спецификацию кодирования для класса руководителя.
17.3.5 Если набор объектов кодирования в "CombinedEncodings" параметризован параметром, который является REFERENCE, то реальным параметром, представленным в этой конструкции, может быть только фиктивный параметр объекта кодирования, который определяется.
17.3.6 Е - объект кодирования (в пределах "CombinedEncodings"), который применяется к классу руководителя. Если объект кодирования Е показывает идентификационный описатель (с учетом данного набора значений описателя), то определяемый объект кодирования (см. 17.1.5) показывает тот же идентификационный описатель, как и Е (с тем же набором значений описателя); иначе он не показывает описатель.