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.