text: In the above example it might have been tempting to create two universal restrictions — one 
  for CheeseTopping (∀ hasTopping CheeseTopping) and one for 
  VegetableTopping (∀ hasTopping VegetableTopping). However, when multiple 
  restrictions are used (for any type of restriction) the total description is taken to be the 
  intersection of the individual restrictions. This would have therefore been equivalent to one 
  restriction with a filler that is the intersection of MozzarellaTopping*and*TomatoTopping 
  — as explained above this would have been logically incorrect. 