app x y helpa 0 plus length x length y x y plus x 0 x plus x s y s plus x y length nil 0 length cons x y s length y helpa c l ys zs if ge c l c l ys zs ge x 0 true ge 0 s x false ge s x s y ge x y if true c l ys zs nil if false c l ys zs helpb c l greater ys zs smaller ys zs greater ys zs helpc ge length ys length zs ys zs smaller ys zs helpc ge length ys length zs zs ys helpc true ys zs ys helpc false ys zs zs helpb c l cons y ys zs cons y helpa s c l ys zs app 2 helpa 4 0 0 plus 2 length 1 s 1 nil 0 cons 2 if 5 ge 2 true 0 false 0 helpb 4 greater 2 smaller 2 helpc 3 FULL ./TRS/SchneiderKamp/trs/otto06.trs