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

rules of substitution and transitivity מתח
.תִכנו	правила подстановки и транзитивности (ssn)