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

finite model structure
.טכנול	有限模型结构