18. The system of claim 16 , wherein the one or more processors and memory are configured to interpolate one or more additional values between values of the set for one of the attributes.
16. A system for examining policies for a domain of an enterprise system, the system comprising one or more processors and memory of the enterprise system configured to: in response to user input, represent the policies as a plurality of policy rules specific to a target system of the domain, each of the policy rules including a condition in which one or more binary operator expressions are included, each binary operator expression referring to one or more policy attributes; check the conditions of each pair of the policy rules relative to one or more sets of sample values assumable by the one or more policy attributes referred to in the binary operator expressions of the conditions of the pair; and based on a result of the checking, notifying the user as to an anomaly in the rules for the target system; the one or more processors and memory configured to, for each pair of binary operator expressions of the conditions being checked: configure each combination of the sample values for attributes referred to in the pair of binary operator expressions in a mixed-radix enumeration in which each attribute is represented in a corresponding position of the mixed-radix enumeration; using the mixed-radix enumeration, evaluate each expression of the pair of binary operator expressions relative to each of the combinations and compare the expression evaluations to one another; and based on a result of the comparing, detect a relationship between truth tables for the pair of rules being checked.