These rules are composed of two parts, semantics and syntax, and there exists a certain consistency between the two parts.
这些推理规则由语法和语义两部分组成，且在两部分之间存在一定的协调水平。
These rules are composed of two parts, semantics and syntax, and there exists a certain consistency between the two parts.
这些推理规则由语法和语义两部分组成，且在两部分之间存在一定的协调水平。
应用推荐