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

model of symbolic logic
.טֶכנו	符号逻辑模型