条件式については比較演算子が真偽値を返す…ってのが一般的だけど
「失敗」で条件式を扱う言語もあるよ

その場合、例えばこんな仕様が考えられる
x < y < z ならまず x < y が成立しなければ「失敗」成立すれば「y」
y < z が成立しなければ「失敗」成立すれば「z」
「失敗」でないから条件式は成立したとみなされる…みたいなね