code: public static IConjunct remainder( IConjunct conjunct, IAssertion assertion)
      {
      Conjunction rest = new Conjunction();
      for( Iterator<IDisjunct> disjuncts = conjunct.getDisjuncts();
           disjuncts.hasNext();)
        {
        IDisjunct disjunct = disjuncts.next();
        if( !disjunct.contains( assertion))
          {
          rest.add( disjunct);
          }
        }
      
      return rest;
      }
docs: Returns the remainder after removing all terms that contain the given assertion.