We start with the product configuration rules. Then we analyze the model to ensure that there are no inconsistencies in the rules we have entered.