a lambda x y lambda a x p 1 a y t a p x y z p a x z a y z a a x y z a x a y z lambda x x a x y x a x y y p x y x p x y y a 2 lambda 1 p 2 1 0 t 0 FULL ./TRS/Zantema/z09.trs