(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f3)) (VAR A B) (RULES f3(A,B) -> Com_1(f0(1,1)) f0(A,B) -> Com_1(f0(A + 1,B)) )
content may be truncated. 'popout' for larger text window.