W3C home > Mailing lists > Public > public-cwm-bugs@w3.org > October 2006

inclusion in conclusion RuntimeError: maximum recursion depth exceeded

From: <jos.deroo@agfa.com>
Date: Tue, 31 Oct 2006 22:54:03 +0100
To: public-cwm-bugs@w3.org
Message-ID: <OFD7866851.79F45429-ONC1257218.0077A195-C1257218.00784A6A@agfa.com>

maybe we repeat ourselves in reporting..

cwm http://www.agfa.com/w3c/temp/conclusionTest.n3 --think --data
#Processed by Id: cwm.py,v 1.190 2006/08/09 23:20:42 syosi Exp
        #    using base http://www.agfa.com/w3c/temp/conclusionTest.n3
        Traceback (most recent call last):
  File "/w3ccvs/WWW/2000/10/swap/cwm.py", line 740, in ?
    doCommand()
  File "/w3ccvs/WWW/2000/10/swap/cwm.py", line 607, in doCommand
    think(workingContext, mode=option_flags["think"])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1243, in matchFormula
    bindings.copy(), nb, evidence = evidence + [reason])
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1109, in evalObj
    think(F)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 87, in think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why, 
repeat=1).run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 261, in run
    return self.runSmart()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 249, in runSmart
    total += cy.run()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 410, in run
    return rule.once()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 554, in once
    total = query.resolve()
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 827, in resolve
    k = self.matchFormula(self.statements, self.variables, 
self._existentialVariables)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1180, in matchFormula
    nbs = item.tryBuiltin(queue, bindings, evidence=evidence)
  File "C:\w3ccvs\WWW\2000\10\swap\query.py", line 1635, in tryBuiltin
    result = pred.evalObj(subj, BNone, BNone, proof, BNone)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 986, in evalObj
    F = self.store.load(inputURI, why=becauseSubexpression)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1547, in load
    referer=referer, why=why)
  File "C:\w3ccvs\WWW\2000\10\swap\webAccess.py", line 198, in load
    p.feed(buffer)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 210, in feed
    i = self.directiveOrStatement(str,j)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 224, in 
directiveOrStatement
    j = self.statement(str, i)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 354, in statement
    i = self.object(str, i, r)  #  Allow literal for subject - extends RDF
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 930, in object
    j = self.subject(str, i, res)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 364, in subject
    return self.item(str, i, res)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 443, in item
    return self.path(str, i, res)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 455, in path
    j = self.nodeOrLiteral(str, i, res)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 952, in 
nodeOrLiteral
    j = self.node(str, i, res)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 590, in node
    j = self.directiveOrStatement(str,i)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 224, in 
directiveOrStatement
    j = self.statement(str, i)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 354, in statement
    i = self.object(str, i, r)  #  Allow literal for subject - extends RDF
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 930, in object
    j = self.subject(str, i, res)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 364, in subject
    return self.item(str, i, res)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 443, in item
    return self.path(str, i, res)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 455, in path
    j = self.nodeOrLiteral(str, i, res)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 952, in 
nodeOrLiteral
    j = self.node(str, i, res)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 644, in node
    j = self.uri_ref2(str, i, res)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 788, in uri_ref2
    j = self.variable(str,i,v)
  File "C:\w3ccvs\WWW\2000\10\swap\notation3.py", line 868, in variable
    , why=self._reason2)
  File "C:\w3ccvs\WWW\2000\10\swap\formula.py", line 238, in newUniversal
    x = AnonymousUniversal(self, uri)
  File "C:\w3ccvs\WWW\2000\10\swap\term.py", line 590, in __init__
    scope.declareUniversal(self, key=self.__class__)
  File "C:\w3ccvs\WWW\2000\10\swap\formula.py", line 213, in 
declareUniversal
    if self.occurringIn(Set([self.newSymbol(v.uriref())])):
  File "C:\w3ccvs\WWW\2000\10\swap\formula.py", line 181, in newSymbol
    return self.store.newSymbol(uri)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1481, in newSymbol
    return self.intern(RDFSink.newSymbol(self, uri))
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1692, in intern
    r = self.symbol(resid)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1614, in symbol
    return self.intern((SYMBOL,str), why)
  File "C:\w3ccvs\WWW\2000\10\swap\llyn.py", line 1676, in intern
    urirefString = canonical(urirefString)
RuntimeError: maximum recursion depth exceeded


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 31 October 2006 21:54:51 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:52:01 UTC