There are several static and dynamic approaches for active rules termination analysis. We consider only static methods that at compile time detect potential non-terminating active rules execution.
It is reasonable to say that the prepositions of Chinese may be a syntactic result of the semantic demotion of some non-terminating verbs in the serial verb construction or the pivotal construction.