<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.
Module iso-fsFD
Attributes
Global and inherited attributes:
Classes and content
- May contain
- Contained by
iso-fs
Example
<bicond>
<fs>
<f name="FOO">
<symbol value="42"/>
</f>
</fs>
<iff/>
<fs>
<f name="BAR">
<binary value="true"/>
</f>
</fs>
</bicond>
Content model
<content>
<sequence>
<alternate>
<elementRef key="fs"/>
<elementRef key="f"/>
</alternate>
<elementRef key="iff"/>
<alternate>
<elementRef key="fs"/>
<elementRef key="f"/>
</alternate>
</sequence>
</content>