This field contains the Assertions of the Rule, which is the list of Facts which have to all be proven true in order to pass the Rule and prove that the Conclusion below is true. Each of the Facts here can have a Question card associated with it, which will ask if the Fact is true or false if it cannot find a value for that particular Fact or another Rule to backward chain to.
-- part contents for card part 11
----- text -----
This field is the Conclusion of the Rule, the Fact which the
inference engine is trying to prove either true or false, by testing each of the Facts in the Assertions above.
-- part contents for card part 12
----- text -----
This button takes you to the title card
-- part contents for card part 13
----- text -----
This button takes you here to the Rule Help card
-- part contents for card part 14
----- text -----
This button allows you to add a new rule
to the rule base. It is given it a new number, and then you will be taken to the new card to enter the Assertions and Conclusion.
-- part contents for card part 15
----- text -----
Clicking on the Questions
button allows you to edit the Question cards that are associated with the Facts in this Rule. Just click on the Fact you wish to see after clicking this button. You will be taken to it's card if it has one, or else a new, blank one will be created for it.
-- part contents for card part 16
----- text -----
These arrows allow you to move between rules.
-- part contents for card part 17
----- text -----
This is a Rule card, which describes a relationship between the Assertions and the Conclusion. Click Help Index for more information. This field normally holds the Rule number, i.e. Rule 3.
-- part contents for card part 19
----- text -----
Click on any part of this card for information about it.