אנגלית ⇄ סינית +

completeness of rule of inference
.בינה	推理规则的完整性