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

множество дизъюнктов מתח
.תִכנו	set of clauses (специфицирующее одно и то же отношение, именуется процедурой в языке программирования Prolog Alex_Odeychuk)