「QVT-Relations」において、リレーションの実行を制御する「when句」の役割はどれか。

when句は前提条件(Precondition)を記述し、その条件を満たす場合のみリレーションが評価される。