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