(VAR x)
(THEORY (AC f))
(RULES
f(x,one) -> x
f(x,x) -> x
)