The Formalization of Four Types of "ZAI\´ Viewpoint Aspect Sentences

"ZAI\´ viewpoint aspect has long time been a burning problem with linguistic research. However, up till now, few studies on "ZAI\´ viewpoint aspect\´s derivations and their formalizations have been done. This paper addresses the formalization of "ZAI\´ progressive and its three types of derivation sentences by an automatic parsing using CTT(Copenhagen Tree Tracer). This paper first advances that "ZAI\´ progressive has three types of derivations by a corpus-based study. Then, it reveals the formalized structures of "ZAI\´ progressive and its derivations. Finally, it formalizes "ZAI\´  progressive and its three types of derivations.