[1] 特性集合定義体系の特性の存在するときwhen property exists (when) 要素型 (要素形式) は、特性が存在する条件を指定します。

[3]

開始タグ
必須
終了タグ
省略可能
内容模型
PCDATA
出現できる文脈
propdef の子

仕様書

文脈

[2] この要素は、特性定義 (propdef) 要素の子要素として高々1個存在できます。 この要素が存在するとき、 節点がこの要素の内容に書かれた条件を満たさなければ、 その特性の値が null になります。

メモ

[4] 特に説明がないようですが、特性存在条件というのは自然言語文で書いちゃうんでしょうか。