]> The attribute values of type NOTATION matches one of the notation names included in the declaration; all notation names in the declaration have been declared