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

Unifikationsmenge f
.בינה	unification set