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