minus minus x y z minus x plus y z minus 0 y 0 minus x 0 x minus s x s y minus x y plus 0 y y plus s x y plus x s y plus s x y s plus y x zero s x false zero 0 true p s x x p 0 0 div x y quot x y 0 quot s x s y z quot minus p ack 0 x y s y s z quot 0 s y z z ack 0 x s x ack 0 x plus x s 0 ack s x 0 ack x s 0 ack s x s y ack x ack s x y minus 2 plus 2 0 0 s 1 zero 1 false 0 true 0 p 1 div 2 quot 3 ack 2 FULL ./TRS/SchneiderKamp/trs/thiemann09.trs