YES TRS: w(r(x)) -> r(w(x)) b(r(x)) -> r(b(x)) b(w(x)) -> w(b(x)) max/plus interpretations on N: w_A(x1) = max{1, x1} w#_A(x1) = max{8, 1 + x1} r_A(x1) = max{4, x1} r#_A(x1) = max{0, -5 + x1} b_A(x1) = max{4, -1 + x1} b#_A(x1) = max{9, 6 + x1} precedence: w > r > b