(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR A B C)
(RULES
  f4(A,B,C) -> Com_1(f4(A,B + 1,C)) :|: A >= B + 1
  f4(A,B,C) -> Com_1(f4(A + 1,0,C)) :|: C >= A + 2 && B >= A
  f0(A,B,C) -> Com_1(f4(0,0,C)) :|: C >= 1
)