OCL式「Sequence{1,2,3}->at(0)」の評価結果はどうなるか。

OCLのコレクション添字は1から開始されるため、0へのアクセスはinvalidとなる。