text: __ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ___
  
  The previous axioms said that for example that it was necessary for any Pizza that was a 
  MargheritaPizza to have a MozzarellaTopping and a TomatoTopping. The new axioms say that 
  a MargheritaPizza can*only*have these toppings and similarly for SohoPizza and its toppings. This 
  should supply the needed information for the reasoner to now make them both subclasses of 
  VegetarianPizza. Go to the Class hierarchy (inferred) tab. You should now see that 
  MargheritaPizza and SohoPizza are both classified as subclasses of VegetarianPizza. Your UI 
  should now look similar to figure 4.23. Note the various axioms highlighted in yellow. Those are all 
  additional inferences supplied by the reasoner. For experience you might want to click on some of the ? 
  icons next to these inferences to see the explanations generated by the reasoner. As you develop more 
  complex ontologies this is a powerful tool to debug and design your ontology. 