<cond>

<cond> 素性構造の条件制約を定義する.前提部と帰結部は,素性構造として定義さ れている.前提部と帰結部が共に真であったとき,または前提部が偽であっ たときに,当該条件節は真となる. [18.11 Feature System Declaration]
モジュールiso-fs — 18 Feature Structures
属性att.global (@xml:id, @n, @xml:lang, @rend, @style, @rendition, @xml:base, @xml:space) (att.global.linking (@corresp, @synch, @sameAs, @copyOf, @next, @prev, @exclude, @select)) (att.global.analytic (@ana)) (att.global.facs (@facs)) (att.global.change (@change))
クラブのメンバー
上位
下位
iso-fs: f fs then
宣言

<rng:element name="cond">
 <rng:ref name="att.global.attributes"/>
 <rng:ref name="att.global.linking.attributes"/>
 <rng:ref name="att.global.analytic.attributes"/>
 <rng:ref name="att.global.facs.attributes"/>
 <rng:ref name="att.global.change.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,
   att.global.linking.attributes,
   att.global.analytic.attributes,
   att.global.facs.attributes,
   att.global.change.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,帰結部に素性構 造を持つかもしれない.