bicond

<bicond>

<bicond> (bi-conditional feature-structure constraint) defines a biconditional feature-structure constraint; both consequent and antecedent are specified as feature structures or groups of feature structures; the constraint is satisfied if both subsume a given feature structure, or if both do not. 18.11 Feature System Declaration
Module	iso-fs — 18 Feature Structures
Attributes	Global attributes only
Declaration	<rng:element name="bicond"> <rng:ref name="att.global.attributes"/> <rng:group> <rng:choice> <rng:ref name="fs"/> <rng:ref name="f"/> </rng:choice> <rng:ref name="iff"/> <rng:choice> <rng:ref name="fs"/> <rng:ref name="f"/> </rng:choice> </rng:group> </rng:element> element bicond { att.global.attributes, ( ( fs \| f ), iff, ( fs \| f ) ) }
Note	May contain two feature structures or feature-structure groups, separated by an empty iff element.
Contained by	fsConstraints
May contain	iso-fs: f fs iff