At present, the widely influential one is interpersonal function in Halliday's systemic-functional grammar, but his theory neglects the research on semantics of evaluation.
而目前韩礼德系统功能语法中的人际功能研究有广泛的影响力，但是他的理论忽视了对赋值语义的研究。
The presence of two above problems impacts not only the understanding for theory of Tarski's truth-conditional semantics but also the evaluation for the theory.
这两方面问题的存在，既影响到对塔尔斯基真值条件语义学理论本身的理解，也在一定程度上影响到对这一理论的评价。
The present paper involves the FFP-ATS semantics of value evaluation of ML core language.
本文涉及ML核心语言的“值”的计算这一部分的FFP - ATS语义学。
应用推荐