f x y z g <= x y x y z g true x y z z g false x y z f f p x y z f p y z x f p z x y p 0 0 p s x x f 3 g 4 <= 2 true 0 false 0 p 1 0 0 s 1 FULL ./TRS/SK90/4.57.trs