lt 0 s x true lt x 0 false lt s x s y lt x y minus x y help lt y x x y help true x y s minus x s y help false x y 0 lt 2 0 0 s 1 true 0 false 0 minus 2 help 3 INNERMOST ./TRS/SchneiderKamp/trs/otto07.trs