条件付きフィールド

特性記述文において、あるフィールドは他の先行するフィールドの内容に依存して出現したりしなかったりする。この状況は、決定するフィールドにラベルを割り当てることによって示される。条件付きの出現は、条件式と任意のフィールド記述を角括弧 ([ と ]) で囲むことによって示される。例えば:

     SS <- V:F1 + CPAIR + [V = C1 > PPAIRS]

これは 2 個、おそらく 3 個のフィールドからなる形式を定義する。

1. ラベル V を付けたフィールド F1 に続いて
2. フィールド CPAIR に続いて
3. 最初のフィールド (V) が C1 であった場合はフィールド PPAIRS、そうでなければこの 3 番目のフィールドはメッセージに存在しない。