HOMELv030 「QVT-Relations」における「when句」の役割はどれか。 2026年1月25日 when句（Precondition）は、そのリレーションが適用されるために事前に満たされているべき条件を記述する。 OCLで「Set{1,2}->including(1)」の結果はどうなるか。 OCL式「Set{1,2,3}->any(e | e > 1)」の結果に関する説明として正しいものはどれか。
