Constraints in the SW AND Inference
Common descendants