Skip to content

<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

Classes and content

May contain

iso-fs

Contained by

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>