Class: Caprina

Class(Caprina partial restriction(hasTopping allValuesFrom(unionOf(GoatsCheeseTopping
                                                                  MozzarellaTopping
                                                                  SundriedTomatoTopping
                                                                  TomatoTopping)))
                     restriction(hasTopping someValuesFrom(GoatsCheeseTopping))
                     restriction(hasTopping someValuesFrom(MozzarellaTopping))
                     NamedPizza
                     restriction(hasTopping someValuesFrom(SundriedTomatoTopping))
                     restriction(hasTopping someValuesFrom(TomatoTopping)))

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