Semantic Overflow AND Open World Assumption
Common descendants