table gen s 0 gen x if1 le x 10 x if1 false x nil if1 true x if2 x x if2 x y if3 le y 10 x y if3 true x y cons entry x y times x y if2 x s y if3 false x y gen s x le 0 y true le s x 0 false le s x s y le x y plus 0 y y plus s x y s plus x y times 0 y 0 times s x y plus y times x y 10 s s s s s s s s s s 0 table 0 gen 1 s 1 0 0 if1 2 le 2 10 0 false 0 nil 0 true 0 if2 2 if3 3 cons 2 entry 3 times 2 plus 2 FULL ./TRS/SchneiderKamp/trs/thiemann32.trs