English description
===================

O-support comes from one of 3 sources Operator Application, Operator
Modification or Operator Creation. The basis for determining if a Preference
gets O-support comes from an examination of the instantiation that installs
the preference in the current context.  This examination is broken down into
2 parts.

  1. A predicate: based upon an examination of the entire instantiation.
     
  2. A predicate: based  upon  1  above  and  an  examination  of the
           preference.

Each type of O-support Source is examined independently.  Thus one
instantiation can have the Operator-application, and Operator-Modification
type 1 predicates true. O-support is given to a preference, when any of the
type 2 predicates is true.

In several places a Transitive Closure is calculated. This Transitive closure
is across either a set of Working Memory Elements or Preferences or both.  An
ID is related to a Value if at least one member of the set contains the ID
and Value in the same WME or Preference.

  1. Operator Application:
          
       1. Predicate 1) The  instantiation  tests  the  operator  of  the
                      firing goal and tests some object in the Transitive
                      closure of the operator besides the operator.  The
                      instantiation also tests some object in the transitive
                      closure of the state. This Transitive Closure is
                      calculated across Working Memory.
          
       2. Predicate 2) The ID of the preference  is  in  the  transitive
                      closure of the state.  This transitive closure is
                      calculated across the union of Working Memory and the
                      set of preferences on the RHS of the Instantiation.
      
     
  2. Operator Modification:
          
       1. Predicate  1)  The  instantiation  tests  the  operator of the
                      firing goal or tests some acceptable preference for the
                      operator of the firing goal.  The instantiation also
                      tests the state of the firing goal and some object in
                      the transitive closure of the state besides the state.
                      This Transitive Closure is calculated across Working
                      Memory.
          
       2. Predicate 2) The ID of the preference  is  in  the  transitive
                      closure of the operator or operator preference which
                      ever is specified in the production.  This transitive
                      closure is calculated across the union of Working
                      Memory and the set of preferences on the RHS of the
                      Instantiation.
      
     
  3. Operator Creation:
          
       1. Predicate 1) The instantiation tests the state of  the  firing
                      goal and some object in the transitive closure of the
                      state besides the state. One of the RHS preferences is
                      for adding an operator to the firing goal.  This
                      Transitive Closure is calculated across Working Memory.
          
       2. Predicate 2) The ID of the preference  is  in  the  transitive
                      closure of the created operator preference. This
                      transitive closure is calculated across the union of
                      Working Memory and the set of preferences on the RHS of
                      the Instantiation.