Class: SloppyGiuseppe

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

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