Because constraints are returned as an array of disjunctive constraints, in many cases the elements of the array can serve directly as a “choice list”. This may, for example, be used by an application to display options to the end user indication the set of permitted values.