code: public static IConjunct getUnsatisfied( IConjunct condition, PropertySet properties)
      {
      Conjunction unsatisfied = new Conjunction();
      for( Iterator<IDisjunct> disjuncts = condition.getDisjuncts();
           disjuncts.hasNext();)
        {
        IDisjunct disjunct = disjuncts.next();
        if( !disjunct.satisfied( properties))
          {
          unsatisfied.add( disjunct);
          }
        }
  
      return unsatisfied;
      }
docs: Returns the part of the given condition unsatisfied by the given properties.