f h x y h f y f x h a f 2 h 1 a 0 FULL ./TRS/Waldmann/jwno4.trs