Class: SloppyGiuseppe

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

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