Class: Cajun

Class(Cajun partial restriction(hasTopping someValuesFrom(TobascoPepperSauce))
                   NamedPizza
                   restriction(hasTopping someValuesFrom(PeperonataTopping))
                   restriction(hasTopping someValuesFrom(PrawnsTopping))
                   restriction(hasTopping someValuesFrom(TomatoTopping))
                   restriction(hasTopping allValuesFrom(unionOf(MozzarellaTopping
                                                                OnionTopping
                                                                PeperonataTopping
                                                                PrawnsTopping
                                                                TobascoPepperSauce
                                                                TomatoTopping)))
                   restriction(hasTopping someValuesFrom(OnionTopping))
                   restriction(hasTopping someValuesFrom(MozzarellaTopping)))

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