YES

TRS:

  g(x,a(),b()) -> g(b(),b(),a())

max/plus interpretations on N:

  g_A(x1,x2,x3) = max{13, 11 + x1, 9 + x2, 5 + x3}
  g#_A(x1,x2,x3) = max{13, 11 + x1, 9 + x2, 5 + x3}
  a_A = 5
  a#_A = 5
  b_A = 1
  b#_A = 1

precedence:

  a > b > g