# TRS/Beerendonk/7.trs (VAR x) (RULES eval(x) -> eval(x - 3) :|: (x % 2) > 0 && x > 0 )
content may be truncated. 'popout' for larger text window.