Англійська ⇄ Російська +

theory of multiple forms of negation наголоси
прогр.	теория множества форм отрицания (апробированная в языках логического программирования Alex_Odeychuk)