Class: Cajun

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

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