(VAR x1 )
(RULES 
        t(o(x1)) -> m(a(x1))
        t(e(x1)) -> n(s(x1))
        a(l(x1)) -> a(t(x1))
        o(m(a(x1))) -> t(e(n(x1)))
        s(a(x1)) -> l(a(t(o(m(a(t(e(x1))))))))
        n(s(x1)) -> a(l(a(t(x1))))
        
)