OCLにおいて「invalid or true」の結果はどうなるか。

OR演算では片方がtrueであれば、他方が不明またはエラーでも全体はtrueと確定する。