Determine whether there is any overlap between the two constraints (the intersection is not empty) 3.10.6.4