text: 1. Bring up the SQWRLTab if it doesn’t already exist using Windows>Tabs>SQWRLTab. You will see 
  it looks almost identical to the SWRLTab. 
  
  2. Let’s say we want to see how often the HotDiscountRule fires. We can find this out very easily. To 
  start select the HotDiscountRule and clone it. This creates a copy of the rule called S1. Select that rule 
  and then select the Edit button. 
  
  3. Change the name of the rule to TestHotDiscountRule. Replace the consequent (the expression after 
  the arrow) with the following: sqwrl:select(?c, ?np) and select OK. Your SQWRL rule should look like: 
  Customer(?c) ^ numberOfPizzasPurchased(?c, ?np) ^ hasSpicinessPreference(?c, pizza:Hot) ^ 
  swrlb:greaterThan(?np, 1) -> sqwrl:select(?c, ?np). Synchronize the reasoner. 
  
  4. Select TestHotDiscountRule then select the Run button at the bottom of the tab. This will create a new 
  tab in the lower view called TestHotDiscountRule. You should see that the rule fired 3 times with ?c 
  equal to Customer4, Customer1, and Customer8 and with ?np equal to 3, 2, and 2. 