f true x y z f and gt x y gt x z x s y z f true x y z f and gt x y gt x z x y s z gt 0 v false gt s u 0 true gt s u s v gt u v and x true x and x false false f 4 true 0 and 2 gt 2 s 1 0 0 false 0 FULL ./TRS/SchneiderKamp/trs/cade08.trs