(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f1)) (VAR A B C D E) (RULES f2(A,B,C,D) -> Com_1(f2(1 + A,1 + B,-1 + C,D)) f1(A,B,C,D) -> Com_1(f2(A,B,C,D)) :|: A >= C && B >= 1 + A && C >= 1 + B f1(A,B,C,D) -> Com_1(f300(A,B,C,E)) :|: C >= 1 + B && B >= 1 + A && C >= 1 + A f1(A,B,C,D) -> Com_1(f300(A,B,C,E)) :|: B >= 1 + A && B >= C f1(A,B,C,D) -> Com_1(f300(A,B,C,E)) :|: A >= B )