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

checking of assertion sets מתח
.תִכנו	контроль множеств фактов (ssn)