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

Subsumption n
.בינה	subsumption (beim Theorembeweisen)