<bicond>

<bicond> 素性構造の制約を必要十分条件として定義する.前提部と帰結部は,素性構造またはそのグループとして定義される.当該制約は,与えられた2つの素 性構造が共に真であるか,またはともに偽である場合に,真になる. 18.11 素性システム宣言
モジュールiso-fs — 18 素性構造
属性
当該モジュールを使用するもの
下位
iso-fs: f fs iff
宣言

<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 ) ) }
<bicond>
 <fs>
  <f name="FOO">
   <symbol value="42"/>
  </f>
 </fs>
 <iff/>
 <fs>
  <f name="BAR">
   <binary value="true"/>
  </f>
 </fs>
</bicond>