fornisce il nome ad una o più tipi di strutture di tratti dai quali il tipo eredita le specifiche e i vincoli dei tratti;
se questo tipo include una specifica di tratti con lo stesso nome specificato da questo attributo, o se più di una specifica dello stesso nome è ereditata, allora l'insieme dei possibili valori è definito
attraverso l'unificazione. In modo analogo, l'insieme dei vincoli applicabile deriva dalla combinazione di quelli specificati in modo esplicito all'interno dell'elemento con quelli sottintesi dall'attributo baseTypes
Se nessun baseTypes è specificato, nessuna specificazione o vincolo di tratti è ereditata.
Inheritance is defined here as a monotonous relation.
The process of combining constraints
may result in a contradiction, for example if two
specifications for the same feature
specify disjoint ranges of values, and at least one such
specification is mandatory. In such a case, there is
no valid representative for the type being defined.