text: part of the antecedent so we write -> to signal the beginning of the consequent. At this point your rule 
  should look like: Customer(?c) ^ numberOfPizzasPurchased(?c, ?np) ^ hasSpicinessPreference(?c, Hot) ^ 
  swrlb:greaterThan(?np, 1) -> 
  
  8. Finally, we write the consequent of the rule, the part after the arrow that signifies what to do each time 
  the rule succeeds. We want to give these customers a 20% discount so we write: hasDiscount(?c, 0.2). 
  Whereas the expressions on the left hand side are tests to see if the rule should fire, the expression on the 
  right is an assertion of a new value to be added to the ontology. For those with a logic background the 
  simple way to think of this is that the antecedent is implicitly universally quantified whereas the 
  consequent is implicitly existentially quantified. 
  
  9. Thus the whole rule should look like: Customer(?c) ^ numberOfPizzasPurchased(?c, ?np) ^ 
  hasSpicinessPreference(?c, Hot) ^ swrlb:greaterThan(?np, 1) -> hasDiscount(?c, 0.2). Take note that the 
  OK button at the bottom is only possible to select when the rule has a valid syntax. It should be 
  selectable now so select it. You should see the new rule show up at the top of the top most view. 