YES
(VAR x y)
(RULES
atom(x) -> false()
car(.(x,y)) -> x
cdr(.(x,y)) -> y
.(car(x),cdr(x)) -> x
)