Class: FruttiDiMare

Class(FruttiDiMare partial restriction(hasTopping allValuesFrom(unionOf(GarlicTopping
                                                                       MixedSeafoodTopping
                                                                       TomatoTopping)))
                          restriction(hasTopping someValuesFrom(GarlicTopping))
                          NamedPizza
                          restriction(hasTopping someValuesFrom(MixedSeafoodTopping))
                          restriction(hasTopping someValuesFrom(TomatoTopping)))

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