text: __ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ___
  
  This means that if something is a member of the class VegetarianPizza it is necessary for it 
  to be a kind of Pizza and it is necessary for it to only (∀ universal quantifier) have toppings that 
  are kinds of CheeseTopping or kinds of VegetableTopping. In other words, all 
  hasTopping relationships that individuals which are members of the class VegetarianPizza 
  participate in must be to individuals that are either members of the class CheeseTopping or 
  VegetableTopping. The class VegetarianPizza also contains individuals that are Pizzas 
  and do not participate in any hasTopping relationships. 
  
  41 