<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. «#FD»
Moduleiso-fs
Attributes
Used byfsConstraints
May contain
iso-fs: f fs iff
Declaration
element bicond { ( fs | f ), iff, ( fs | f ) }
Note
May contain two feature structures or feature-structure groups, separated by an empty iff element.