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

logic theorist system
.טכנול	逻辑理论家系统