YES
(THEORY
    (AC
        p
    )
    
)
(VAR
    x y
)
(RULES
    f(p(x,y)) -> p(f(x),f(y))
)