INITIAL INDEX:

In preparation for the optimization step to be described next, the rules in the tree are assigned a rule number:

  RELATION-20: 0 1 
      CLAUSE-28: 3 4 5 
          %RECONCILE-1: 6 7
              %JESUS-20: 8
              %CREATURE-SET-6: 9 
              %GOD-15: 10 
      CLAUSE-31: 11 12 13 
          %DEATH-1: 14 15 
              %JESUS-21: 16 
              %CROSS-1: 17 18

A linear index (from 0 to 18 in this case) is then created with each entry initialized to 1 (which corresponds to ``active'' status). The index can be visualized as the tree from which it ws made as follows:

  RELATION-20: 1 1 
      CLAUSE-28: 1 1 1 
          %RECONCILE-1: 1 1 
              %JESUS-20: 1 
              %CREATURE-SET-6: 1 
              %GOD-15: 1 
      CLAUSE-31: 1 1 1 
          %DEATH-1: 1 1 
              %JESUS-21: 1 
              %CROSS-1: 1 1