Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes.