(VAR X) (RULES g(X) -> h(activate(X)) c -> d h(n__d) -> g(n__c) d -> n__d c -> n__c activate(n__d) -> d activate(n__c) -> c activate(X) -> X )