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

post assertion מתח
.תִכנו	пост-условие (ssn)

post assertion : 3 צירופים, 2 נושאים

חוֹק	1
תִכנוּת	2