When rules are expanded, check for completeness by correlating results with the previous manual methods of logical analysis.

Note: The mechanics of completeness checks are described in the Tutorial: Basic Rule Modeling topic Analyze rules .

Clicking the Check for Completeness button, the message window is displayed:

Figure 1. Completeness Check message window

After clicking to dismiss the message window, notice that the Completeness Check produced a new column (3), shaded in green:

Figure 2. New rule added by completeness check

This new rule, the combination of age>55 AND smoker=false corresponds to the intersection of column 2 and row 2 in Rule 2 expected outcome and test case #4 in Test cases extracted from Cross Product. The Completeness Checker has discovered the missing rule! To do this, the Completeness Checker employs an algorithm that calculates all mathematical combinations of the Conditions' values (the Cross Product), and compares them to the combinations defined by the rule writer as other columns (other rules in the Rulesheet). If the comparison determines that some combinations are missing from the Rulesheet, then these combinations are automatically added to the Rulesheet. As with the Conflict Check, the Action definitions of the new rules are left to the rule writer. The rule writer should also remember to enter new plain-language Rule Statements for the new columns so it is clear what logic is being modeled. The corresponding rule statement might look like this: