Class: AmericanHot

Class(AmericanHot partial restriction(hasTopping someValuesFrom(TomatoTopping))
                         restriction(hasTopping someValuesFrom(MozzarellaTopping))
                         NamedPizza
                         restriction(hasTopping someValuesFrom(HotGreenPepperTopping))
                         restriction(hasTopping allValuesFrom(unionOf(HotGreenPepperTopping
                                                                      JalapenoPepperTopping
                                                                      MozzarellaTopping
                                                                      PeperoniSausageTopping
                                                                      TomatoTopping)))
                         restriction(hasTopping someValuesFrom(JalapenoPepperTopping))
                         restriction(hasTopping someValuesFrom(PeperoniSausageTopping)))

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