UMLのメタモデルにおいて、ガード条件や不変条件の実体となる「Constraint」が所有する「論理式」の型はどれか。

Constraintは、評価される内容をValueSpecificationとして保持する。