gives the name of one or more typed feature structures
from which this type inherits feature specifications and
constraints;
if this type includes a feature specification
with the same name as that of any of those specified by this
attribute, or if more than one specification of the same name
is inherited, then the set of possible values is defined by
unification. Similarly, the set of constraints applicable is
derived by combining those specified explicitly within this
element with those implied by the baseTypes
attribute. When no baseTypes attribute is specified, no
feature specification or constraint is inherited.
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.
<fsDecl type="SomeName"> <fsDescr>Describes what this type of fs represents</fsDescr> <fDecl name="featureOne"> <!-- The declaration for featureOne --> </fDecl> <fDecl name="featureTwo"> <!-- The declaration for featureTwo --> </fDecl> <fsConstraints> <!-- The feature structure constraints go here --> </fsConstraints> </fsDecl>