<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: fsConstraints |
下位 | |
宣言 |
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,帰結部に素性構 造を持つかもしれない. |