本文的主要目的是在生成语法的理论框架下刻画生成汉语体标记一了的语义解释和含一了的简单句式的运算机制。本文在语义分析的基础上，提出了“选择限制”这一句法操作假设，并运用这一假设解释了语义的生成过程。本文认为，随着一了的语义生成，含一了的简单句式也自然生成。 依据莫拉(Molla)关于句子的体特征理论，本文提出一了的语义解释是由事件的体特征决定的观点。在异质事件中，一了获得完成义；在同质事件中，一了获得终止义。关于一了在与充当宾语的光杆名词共现时有时会产生歧义的现象，本文认为这一现象是决定’事件与客体之间的关系的不同题元特征对该名词的功能要求不同造成的。一了在渐进性的题元关系特征中产生歧义，而在整体性关系特征中不产生歧义。 基于语义分析，在乔姆斯基(Chomsky)提出的语段推导的理论框架下，本文提出了“选择限制假设”以刻画语义解释的句法生成过程。根据该假设，一了的[完成体]特征选择具有[终极]特征的名词词组作为动一了的补语。如果该名词的[终极]特征在随后的运算中仍是可及的，一了的完成义得以实现。因为轻动词v的[完成体]特征通过与补语的[终极]特征建立一致关系而获值。如果被选择进入词汇矩阵的是一个具有[非终极]特征的名词词组，该名词词组则被选择为VP的标示语。因为具有[终极]特征的名词词组不被选入运算过程，轻动词v的[完成体]特征只得通过与一了的[完成体]特征建立一致关系而获值。一了的终止义得以实现。 本文所假设的运算机制在解释一了的语义生成的同时，也解释了含一了的各种简单句式的生成。该运算机制还被证明可以解释与一了相关的一些特殊句式，如汉语的存在句和动词复制句。