Antecedent Domain Constraint

Before we are finished with the antecedent, we have to create one more constraint. Since the store owner is only interested in item types which are purchased with any {snack, soda} combo, we will create the domain constraint that the antecedent has to be a superset of {snacks, soda}.