(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f2)) (VAR A B C D E F G H I J) (RULES f300(A, B, C, D, E, F, G, H, I, J) -> Com_1(f1(A, B, C, D, E, F, K, L, I, M)) [ E >= F ] f300(A, B, C, D, E, F, G, H, I, J) -> Com_1(f300(A, B, C, D, E, F, K, L, M, J)) [ F >= E + 1 ] f2(A, B, C, D, E, F, G, H, I, J) -> Com_1(f300(K, L, M, N, E, F, G, H, I, J)) )