: : x y z : x : y z : + x y z + : x z : y z : z + x f y : g z y + x a : 2 + 2 f 1 g 2 a 0 FULL ./TRS/D33/31.trs