le 0 y z greater y z le s x 0 z false le s x s y 0 false le s x s y s z le x y z greater x 0 first greater 0 s y second greater s x s y greater x y double 0 0 double s x s s double x triple x if le x x double x x 0 0 if false x y z true if first x y z if le s x y s z s x y s z if second x y z if le s x s y z s x s y z le 3 0 0 greater 2 s 1 false 0 first 0 second 0 double 1 triple 1 if 4 true 0 FULL ./TRS/SchneiderKamp/trs/otto13.trs