f x f y a f a f f x a y f 2 a 0 FULL ./TRS/Waldmann/jwno5.trs