YES TRS: c(b(a(X))) -> a(a(b(b(c(c(X)))))) a(X) -> e() b(X) -> e() c(X) -> e() max/plus interpretations on N: c_A(x1) = max{22, -43 + x1} c#_A(x1) = max{6, -2} b_A(x1) = max{12, 54 + x1} b#_A(x1) = max{0, 28 + x1} a_A(x1) = max{79, -20 + x1} a#_A(x1) = max{4, -3} e_A = 13 e#_A = 2 precedence: b > c > e > a