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

assertion set as input-output מתח
.תִכנו	множество фактов как входные и выходные данные (ssn)