YES

# Parallel rule labeling (Zankl et al. 2015).

Consider the left-linear TRS R:

  p(x) -> q(x)
  p(x) -> r(x)
  q(x) -> s(p(x))
  r(x) -> s(p(x))
  s(x) -> f(p(x))

All parallel critical peaks (except C's) are decreasing wrt rule labeling:

  phi(p(x) -> q(x)) = 2
  phi(p(x) -> r(x)) = 4
  phi(q(x) -> s(p(x))) = 2
  phi(r(x) -> s(p(x))) = 1
  phi(s(x) -> f(p(x))) = 1

  psi(p(x) -> q(x)) = 3
  psi(p(x) -> r(x)) = 3
  psi(q(x) -> s(p(x))) = 1
  psi(r(x) -> s(p(x))) = 1
  psi(s(x) -> f(p(x))) = 1