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

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