Reasoning ; Open World Assumption AND Semantic Overflow
Common descendants