Traceback (most recent call last):
  File "../cwm.py", line 714, in ?
    doCommand()
  File "../cwm.py", line 583, in doCommand
    think(workingContext, mode=option_flags["think"])
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, repeat=1).run()
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 259, in run
    return self.runSmart()
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 247, in runSmart
    total += cy.run()
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 407, in run
    return rule.once()
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 551, in once
    total = query.resolve()
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 772, in resolve
    k = self.matchFormula(self.statements, self.variables, self._existentialVariables)
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 1078, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 1078, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 1078, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 1105, in matchFormula
    return query.conclude(bindings,  evidence=evidence, extraBNodes = queue.bNodes)  # No terms left .. success!
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 828, in conclude
    r.args[0]) for k in r.args] +
  File "/Users/connolly/w3ccvs/WWW/2000/10/swap/swap/query.py", line 1860, in smarterSubstitution
    newExistentials = f2.occurringIn(source.existentials().intersection(bindings.values()))
  File "/System/Library/Frameworks/Python.framework/Versions/2.3/lib/python2.3/sets.py", line 212, in intersection
    return self & other
TypeError: unsupported operand type(s) for &: 'Set' and 'list'
######### from normal case ref_supports_proof.ref: cwm supports/simple.n3 --think --why --base=foo:
  1/3 supports/detailed.tests#t01     A very simple use of log:supports
  2/3 supports/detailed.tests#t02     Proof for simple use of log:supports
Files differ, result= 256
#  If this is OK,   cp ,temp/ref_supports_proof.ref ref/supports_proof.ref
######### Differences from reference output:
--- ref/supports_proof.ref	Wed Feb 15 12:02:26 2006
+++ ,temp/ref_supports_proof.ref	Wed Apr 26 17:34:51 2006
@@ -1,108 +0,0 @@
-     @prefix : <http://example.com/swap/test/supports/simple.n3#> .
-    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
-    @prefix pr: <http://www.w3.org/2000/10/swap/reason#> .
-    
-     @forSome <#_g0>,
-                <#_g1>,
-                <#_g2> .
-      [      a pr:Conjunction,
-                    pr:Proof;
-             pr:component <#_g0>,
-                     [
-                 a pr:Inference;
-                 pr:evidence  (
-                <#_g1>
-                <#_g1>
-                <#_g1> );
-                 pr:rule  [
-                     a pr:Extraction;
-                     pr:because <#_g0>;
-                     pr:gives {{
-                        {
-                            :a     :b :c .
-                            :r     :e :g .
-                            {
-                                :a     :b :c .
-                                
-                                }     log:implies {:d     :e :f .
-                                } .
-                            
-                            }     log:supports {:a     :b :c .
-                            :d     :e :f .
-                            } .
-                        
-                        }     log:implies {:Q     :Q :Q .
-                        } .
-                    } ] ];
-             pr:gives { @forAll :X .
-            :Q     :Q :Q .
-            {
-                {
-                    :a     :b :c .
-                    :r     :e :g .
-                    {
-                        :a     :b :c .
-                        
-                        }     log:implies {:d     :e :f .
-                        } .
-                    
-                    }     log:supports {:a     :b :c .
-                    :d     :e :f .
-                    } .
-                
-                }     log:implies {:Q     :Q :Q .
-                } .
-            } ].
-    
-    <#_g0>     a pr:Parsing;
-         pr:because  [
-             a pr:CommandLine;
-             pr:args "['../cwm.py', '--quiet', 'supports/simple.n3', '--think', '--why', '--base=foo:']" ];
-         pr:source <http://example.com/swap/test/supports/simple.n3> .
-    
-    <#_g1>     a pr:Conclusion;
-         pr:because  [
-             a pr:Conjunction;
-             pr:component <#_g2>,
-                     [
-                 a pr:Inference;
-                 pr:evidence  (
-                 [
-                         a pr:Extraction;
-                         pr:because <#_g2>;
-                         pr:gives {:a     :b :c .
-                        } ] );
-                 pr:rule  [
-                     a pr:Extraction;
-                     pr:because <#_g2>;
-                     pr:gives {{
-                        :a     :b :c .
-                        
-                        }     log:implies {:d     :e :f .
-                        } .
-                    } ] ] ];
-         pr:gives {{
-            :a     :b :c .
-            :r     :e :g .
-            {
-                :a     :b :c .
-                
-                }     log:implies {:d     :e :f .
-                } .
-            
-            }     log:supports {:a     :b :c .
-            :d     :e :f .
-            } .
-        } .
-    
-    <#_g2>     a pr:Premise;
-         pr:gives {:a     :b :c .
-        :r     :e :g .
-        {
-            :a     :b :c .
-            
-            }     log:implies {:d     :e :f .
-            } .
-        };
-         pr:text "Assumption of builtin" .
-