Inference AND Constraints in the SW
Common descendants