Class: Caprina

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

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