(VAR x y z) (RULES f(x, y, z) -> f(x, y + 1, z) :|: x > (y) + (z) f(x, y, z) -> f(x, y, z + 1) :|: x > (y) + (z) )
content may be truncated. 'popout' for larger text window.