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

логика на базе дизъюнктов Хорна מתח
.תִכנו	Horn clause logic (ssn)