Thus if policy 1 states ???c1???a1???, and policy 2 states ???c2 ???a2???, and al and a2 are different; then the intersection of cl and c2 should be empty; or if the intersection of the two conditions is not empty, one of the policies should be identified as being the preferred one.