OCL式「Set{1,2,3}->exists(e | e > 5)」の結果はどうなるか。

条件を満たす要素が一つも含まれていないため、existsの結果はfalseとなる。