אנגלית ⇄ גרמנית סינית רוסית +

many-sorted logic
.תקשור	多类逻辑