(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E) (RULES f0(A, B, C, D, E) -> Com_1(f23(0, 1, G, H, I)) f0(A, B, C, D, E) -> Com_1(f23(0, 1, G, H, I)) [ 99 >= F ] )