(VAR X) (RULES f(X,X) -> f(a,n__b) b -> a b -> n__b activate(n__b) -> b activate(X) -> X )