UML 2.5において、ステレオタイプを適用した要素から特定のタグ付き値「val」を取得する正しいOCL記法はどれか。

OCLでは適用されたステレオタイプの属性(タグ)を直接プロパティとして参照できる。