YES

TRS:

  p(m,n,s(r)) -> p(m,r,n)
  p(m,s(n),0()) -> p(0(),n,m)
  p(m,0(),0()) -> m

linear polynomial interpretations on N:

  p_A(x1,x2,x3) = x1 + x2 + x3
  p#_A(x1,x2,x3) = x1 + x2 + x3
  s_A(x1) = x1 + 1
  s#_A(x1) = x1 + 1
  0_A = 0
  0#_A = 0

precedence:

  p = s > 0