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

binary Horn clause מתח
.תִכנו	бинарный хорновский дизъюнкт (ssn)