(VAR x)
(RULES
  a(a(x)) -> b(x)
  b(a(x)) -> a(b(x))
  b(b(c(x))) -> c(a(x))
  b(b(x)) -> a(a(a(x)))
  c(a(x)) -> b(a(c(x)))
)
(COMMENT
TPDB SRS_Standard/Zantema_04/z110
)