F
======================================================================
FAIL: Doctest: ../../nltk/test/nonmonotonic.doctest
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 2112, in runTest
    raise self.failureException(self.format_failure(new.getvalue()))
AssertionError: Failed doctest test for ../../nltk/test/nonmonotonic.doctest
  File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 0, in doctest

----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 19, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    prover.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[10]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 25, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    cdp.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[13]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 32, in prove
        verbose)[0]
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 32, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    prover.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[18]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 38, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    cdp.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[21]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 32, in prove
        verbose)[0]
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 46, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    prover.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[27]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 53, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    cdp.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[30]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 32, in prove
        verbose)[0]
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 63, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    prover.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[35]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 69, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    unp.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[38]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 32, in prove
        verbose)[0]
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 76, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    prover.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[43]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 79, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    for a in unp.assumptions(): print a
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[45]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 123, in assumptions
        if not inference.get_prover(newEqEx, assumptions).prove():
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 83, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    unp.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[46]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 31, in prove
        self.assumptions(),
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 123, in assumptions
        if not inference.get_prover(newEqEx, assumptions).prove():
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 91, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    prover.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[52]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 94, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    for a in unp.assumptions(): print a
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[54]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 123, in assumptions
        if not inference.get_prover(newEqEx, assumptions).prove():
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 101, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    unp.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[55]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 31, in prove
        self.assumptions(),
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 123, in assumptions
        if not inference.get_prover(newEqEx, assumptions).prove():
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 111, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    prover.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[60]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 118, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    cwp.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[63]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 32, in prove
        verbose)[0]
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 127, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    prover.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[70]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 136, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    cwp.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[73]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 32, in prove
        verbose)[0]
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 145, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    prover.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[80]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 154, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    print cwp.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[83]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 32, in prove
        verbose)[0]
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 164, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    print prover.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[88]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/nonmonotonic.doctest", line 167, in ../../nltk/test/nonmonotonic.doctest
Failed example:
    print cmd.prove()
Exception raised:
    Traceback (most recent call last):
      File "/System/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/doctest.py", line 1212, in __run
        compileflags, 1) in test.globs
      File "<doctest ../../nltk/test/nonmonotonic.doctest[90]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 31, in prove
        self.assumptions(),
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 59, in assumptions
        assumptions = [a for a in self._proverCommand.assumptions()]
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/nonmonotonic.py", line 123, in assumptions
        if not inference.get_prover(newEqEx, assumptions).prove():
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 148, in prove
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 313, in prove
        assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 112, in call_prover9
        config_prover9()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 64, in config_prover9
        verbose=False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/internals.py", line 502, in find_binary
        raise LookupError('\n\n%s\n%s\n%s' % (div, msg, div))
    LookupError: 

    ===========================================================================
      NLTK was unable to find the prover9 executable!  Use
      config_prover9() or set the PROVER9HOME environment variable.

        >>> config_prover9('/path/to/prover9')

      Searched in:
        - /usr/local/bin/prover9
        - /usr/local/bin/prover9/bin
        - /usr/local/bin
        - /usr/bin
        - /usr/local/prover9
        - /usr/local/share/prover9

      For more information, on prover9, see:
        <http://www.cs.unm.edu/~mccune/prover9/>
    ===========================================================================


----------------------------------------------------------------------
Ran 1 test in 6.615s

FAILED (failures=1)