<cond>

<cond> 素性構造の条件制約を定義する．前提部と帰結部は，素性構造として定義さ れている．前提部と帰結部が共に真であったとき，または前提部が偽であっ たときに，当該条件節は真となる． 18.11 素性システム宣言
モジュールiso-fs — 18 素性構造
属性
当該モジュールを使用するもの
fsConstraints
下位
iso-fs: f fs then
宣言

<rng:element name="cond">
<rng:ref name="att.global.attributes"/>
<rng:group>
 <rng:choice>
  <rng:ref name="fs"/>
  <rng:ref name="f"/>
 </rng:choice>
 <rng:ref name="then"/>
 <rng:choice>
  <rng:ref name="fs"/>
  <rng:ref name="f"/>
 </rng:choice>
</rng:group>
</rng:element>
element cond { att.global.attributes, ( ( fs | f ), then, ( fs | f ) ) }
例
<cond>
 <fs>
  <f name="BAR">
   <symbol value="1"/>
  </f>
 </fs>
 <then/>
 <fs>
  <f name="SUBCAT">
   <binary value="false"/>
  </f>
 </fs>
</cond>
解説
内容として，前提部に素性構造，空要素then，帰結部に素性構 造を持つかもしれない．