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

rule-based deduction מתח
.מכשיר	продукционная дедукция; дедукция, основанная на системе порождающих правил