Open World Assumption AND Semantic Overflow
Common descendants