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

inductively generated logic מתח
.מָתֵי	индуктивно порождённая логика