A property which reifies a disjunction of constraints.
@en