ГОСТ Р 59791—2021
Apply.type =
cICommentable,
## оператор
cITerm,
## последовательность аргументов
cITermSequence
## -Имена
## Элемент cl: Name представляет собой имя (V)
## абстрактного синтаксиса.
## Фактический символ имени, т. е. сущности,
## которая относится к лексикону, создается путем сопоставления лексического
## значения элемента cl: Name с пространством значений
## типа данных.
## Тип данных xsd: string используется, если лексическое значение относится к
## лексическому пространству xsd: string.
## В противном случае используется тип данных rdf: XMLLiteral.
## Лексическое значение — это содержимое
## дочернего элемента символа (если таковой присутствует); в противном случае это содержимое
## элемента cl: Name.
Name = element Name { Name.type }
Name.type |= cICommon, (cri.attrib | symbol)
Name.type |= text & anyElement*
symbol = element symbol { symbol.type }
symbol.type = text & anyElement*
## Ограниченные имена в кванторах
## Элемент cl: Name, содержащий один или несколько дочерних элементов cl: type,
## является ограниченным именем. ## У него отсутствует явный
## эквивалент в абстрактном синтаксисе.
## Квантор, чья последовательность связывания содержит
## одно или несколько ограниченных имен, является синтаксическим сахаром
## для квантора, чья последовательность связывания содержит
## только неограниченные имена и чье количественное высказывание
## является модификацией исходного количественного высказывания:
## — если ограниченное имя связано с помощью квантора всеобщности, то
## количественное высказывание заменяется импликацией, часть
## if которой является атомарным высказыванием,
## подтверждающим принадлежность обозначения имени к отношению,
## связанному с ограничивающим типом, а часть
## then — исходным количественным высказыванием;
## — если ограниченное имя связано с помощью квантора существования, то
## количественное высказывание заменяется конъюнкцией
## двух высказываний, в которой
## один конъюнкт является атомарным высказыванием,
54