Open World Assumption AND Reasoning
Common descendants