אנגלית ⇄ גרמנית +

set-of-support deduction
.בינה	Stützmengendeduktion f; Set-of-Support-Deduktion f