Class: Cajun

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

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