Class: Caprina

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

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