Discourse Representation Theory is a type of formal semantics theory which dynamically describes the meaning of natural language, composed of discourse representation structure and semantic truth condition. This article is an attempt to discover the theoretical significance of DRT and explore the methodological importance of DRT to the syntactic structure and the semantic in...