<fsDecl> (feature structure declaration) declares one type of feature structure. «#FD»
Module
iso-fs
Attributes
type
gives a name for the type of feature structure being declared.
Status
Required
Datatype
Values
any convenient string of characters.
baseTypes
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 baseType 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.