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

derived rule of inference מתח
.תִכנו	производное правило вывода (ssn)