Footnote

The primitive or could be used to conclude that at least one consequent is true, for example that the weather is hot or cold. The same knowledge can be expressed using the two rules in figure 7. Currently, this primitive cannot be used in consequents. If permitted, one rule's consequent could affect consequents as well as antecedents of other rules.