These rules are composed of two parts,semantics and syntax,and there exists a certain consistency between the two parts.

• 这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平。