cond true x cond and even x gr x 0 p x and x false false and false x false and true true true even 0 true even s 0 false even s s x even x gr 0 x false gr s x 0 true gr s x s y gr x y p 0 0 p s x x cond 2 true 0 and 2 even 1 gr 2 0 0 p 1 false 0 s 1 y 0 FULL ./TRS/Beerendonk/5.trs