(VAR x y)
(THEORY (AC join) (AC meet))
(RULES
join(x,meet(x,y)) -> x
meet(x,join(x,y)) -> x
)