OCLにおいて、コレクションから条件を満たす要素を「1つだけ」非決定的に抽出する演算はどれか。

UML 2.5において、状態マシンの「遷移（Transition）」において移動を許可するか判定する属性はどれか。