7.3.1 Правило allowed_aggregate_values
Правило allowed_aggregate_values гарантирует, что любое значение свойства property_value совместимо с типом данных этого свойства даже в том случае, если этот тип данных является агрегированным.
Спецификация EXPRESS:
Формальные положения:
WR1: все значения, ассоциируемые с property_value посредством атрибута its_value, совместимы с типом данных, который определен атрибутом prop_def, ассоциируемым со свойством базовой семантической единицы property_BSU, описываемой property_value.