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