Cardinality restriction on combination of multiple classes
I've made considerable progress since my last question thanks to your help!
My next question: Consider the equivalency declarations below. I want to classify a pizza as a SupremePizzaOne if it has >= 4 meat or fruit toppings. It could be 3 meat and 2 fruit or 10 meat and 6 fruit (that's one supreme pizza), just so long as it is greater than 4 total toppings of meat or fruit toppings.