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

predicate logic model
.טכנול	谓词逻辑模型