Class: PolloAdAstra

Class(PolloAdAstra partial restriction(hasTopping someValuesFrom(GarlicTopping))
                          restriction(hasTopping someValuesFrom(ChickenTopping))
                          NamedPizza
                          restriction(hasTopping someValuesFrom(CajunSpiceTopping))
                          restriction(hasTopping someValuesFrom(MozzarellaTopping))
                          restriction(hasTopping someValuesFrom(RedOnionTopping))
                          restriction(hasTopping allValuesFrom(unionOf(CajunSpiceTopping
                                                                       ChickenTopping
                                                                       GarlicTopping
                                                                       MozzarellaTopping
                                                                       RedOnionTopping
                                                                       SweetPepperTopping
                                                                       TomatoTopping)))
                          restriction(hasTopping someValuesFrom(SweetPepperTopping))
                          restriction(hasTopping someValuesFrom(TomatoTopping)))

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