text: inverses, defined classes, etc. Go back to the Individuals by class tab and look at various Customers. For 
  example, Customer1 has ordered more than one Pizza and hasSpicinessPreference of Hot so she 
  has a discount of .2. Note that as with any information asserted by the reasoner, there is a ? next to the 
  assertion which you can click on and it will provide an explanation about why the value was asserted. 
  This explanation will list the appropriate rule that fired and the values that caused it to fire. If you look at 
  Customer6, you will see that he has no discount because he has only purchased one Pizza. Finally, if 
  you look at Customer2, she has a discount of .1 because she has purchased more than one Pizza but her 
  spiciness preference isMilderThan Hot. 
  
  In this case the consequent of our rule was to add a data property assertion to an individual. Another 
  possible outcome is to make an individual be an instance of a new class. E.g., if we had a subclass of 
  Customer called PreferredCustomer and we wanted the result of a rule be to make a Customer an 
  instance of PreferredCustomer we could have -> PreferredCustomer(?c) as the consequent 
  of the rule. 