lt x 0 false lt 0 s y true lt s x s y lt x y plus x 0 x plus x s y s plus x y quot x s y help x s y 0 help x s y c if lt c x x s y c if true x s y c s help x s y plus c s y if false x s y c 0 lt 2 0 0 false 0 s 1 true 0 plus 2 quot 2 help 3 if 4 FULL ./TRS/SchneiderKamp/trs/otto09.trs