The rules used throughout the software are in conjunctive form. That is, the rule consists of a set of conditions that make up the precondition and a single condition that is the postcondition. For example:
IF (age 10) AND (color = BLUE) THEN output = TRUE
The first part of the rule (before the THEN keyword) is called the precondition of the rule. The second part is called the postcondition. When searching for rules of a particular class, such as all loyal customers or fraudulent accounts, the postcondition is likely to be fixed to the class of interest.
The rule properties a,b,c and d are used on a number of screens where rules have been evaluated.