Logic ; Open World Assumption AND Open World Assumption
Common descendants