Class: SloppyGiuseppe

Class(SloppyGiuseppe partial restriction(hasTopping someValuesFrom(HotSpicedBeefTopping))
                            restriction(hasTopping someValuesFrom(GreenPepperTopping))
                            restriction(hasTopping someValuesFrom(TomatoTopping))
                            NamedPizza
                            restriction(hasTopping someValuesFrom(MozzarellaTopping))
                            restriction(hasTopping allValuesFrom(unionOf(GreenPepperTopping
                                                                         HotSpicedBeefTopping
                                                                         MozzarellaTopping
                                                                         OnionTopping
                                                                         TomatoTopping)))
                            restriction(hasTopping someValuesFrom(OnionTopping)))

DisjointClasses(SloppyGiuseppe Margherita
                               FourSeasons
                               Cajun
                               Parmense
                               QuattroFormaggi
                               UnclosedPizza
                               American
                               AmericanHot
                               Siciliana
                               PrinceCarlo
                               FruttiDiMare
                               Napoletana
                               Veneziana
                               Caprina
                               Capricciosa
                               Soho
                               Giardiniera
                               Rosa
                               Mushroom
                               Fiorentina
                               LaReine
                               PolloAdAstra)