Inference AND Semantic Overflow
Common descendants