(RULES ) (THEORY ) (STRATEGY CONTEXTSENSITIVE ) (STRATEGY ) -> | ->= | -><- -> , ( , ) (VAR ) ( ) ( )