F
======================================================================
FAIL: Doctest: ../../nltk/test/inference.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/inference.doctest
  File "/Volumes/Data/nltk/trunk/nltk/nltk/test/inference.doctest", line 0, in doctest

----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/inference.doctest", line 33, in ../../nltk/test/inference.doctest
Failed example:
    get_prover(bicond, prover_name='Prover9').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/inference.doctest[5]>", 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/inference.doctest", line 95, in ../../nltk/test/inference.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/inference.doctest[11]>", 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/inference.doctest", line 139, in ../../nltk/test/inference.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/inference.doctest[16]>", 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/inference.doctest", line 149, in ../../nltk/test/inference.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/inference.doctest[20]>", 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/inference.doctest", line 175, in ../../nltk/test/inference.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/inference.doctest[28]>", 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/inference.doctest", line 178, in ../../nltk/test/inference.doctest
Failed example:
    new = nltk.data.load('grammars/background0.fol')
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/inference.doctest[30]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/data.py", line 446, in load
        resource_val = sem.parse_fol(_open(resource_url).read())
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/util.py", line 187, in parse_fol
        raise ValueError, 'Unable to parse line %s: %s' % (linenum, line)
    ValueError: Unable to parse line 11: all x. ((boxerdog x) implies (dog x))
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/inference.doctest", line 179, in ../../nltk/test/inference.doctest
Failed example:
    for a in new:
        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/inference.doctest[31]>", line 1, in <module>
    NameError: name 'new' is not defined
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/inference.doctest", line 186, in ../../nltk/test/inference.doctest
Failed example:
    prover.add_assumptions(new)
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/inference.doctest[32]>", line 1, in <module>
    NameError: name 'new' is not defined
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/inference.doctest", line 187, in ../../nltk/test/inference.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/inference.doctest[33]>", 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/inference.doctest", line 189, in ../../nltk/test/inference.doctest
Failed example:
    prover.show_proof() # doctest: +ELLIPSIS
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/inference.doctest[34]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 236, in show_proof
        raise LookupError("You have to call prove() first to get a proof!")
    LookupError: You have to call prove() first to get a proof!
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/inference.doctest", line 256, in ../../nltk/test/inference.doctest
Failed example:
    readings = DrtGlue().parse_to_meaning('John sees Mary')
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/inference.doctest[46]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk_contrib/gluesemantics/glue.py", line 244, in parse_to_meaning
        for agenda in self.parse_to_compiled(sentence):
      File "/Volumes/Data/nltk/trunk/nltk/nltk_contrib/gluesemantics/glue.py", line 329, in parse_to_compiled
        gfls = [self.fstruct_to_glue(f) for f in fstructs]
      File "/Volumes/Data/nltk/trunk/nltk/nltk_contrib/gluesemantics/glue.py", line 342, in fstruct_to_glue
        glueformulas = fstruct.to_glueformula_list(self.get_glue_dict(), [], verbose=self.verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk_contrib/gluesemantics/lfg.py", line 232, in to_glueformula_list
        lookup = glue_pos_dict.lookup(sem, self.pred[0], current_subj, self)
      File "/Volumes/Data/nltk/trunk/nltk/nltk_contrib/gluesemantics/glue.py", line 208, in lookup
        gf = glueFormulaFactory(entry[0].replace('<word>', word), entry[1])
      File "/Volumes/Data/nltk/trunk/nltk/nltk_contrib/gluesemantics/drt_glue.py", line 24, in __init__
        self.meaning = drt.DrtParser().parse(meaning)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/logic.py", line 585, in parse
        result = self.parse_Expression()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/logic.py", line 642, in parse_Expression
        accum = self.handle(tok)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/drt.py", line 605, in handle
        return self.handle_lambda(tok)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/logic.py", line 708, in handle_lambda
        accum = self.parse_Expression(False)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/logic.py", line 642, in parse_Expression
        accum = self.handle(tok)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/drt.py", line 611, in handle
        return self.handle_DRS()
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/drt.py", line 639, in handle_DRS
        conds.append(self.parse_Expression())
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/logic.py", line 642, in parse_Expression
        accum = self.handle(tok)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/drt.py", line 608, in handle
        return self.handle_open(tok)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/logic.py", line 748, in handle_open
        self.assertToken(self.token(), Tokens.CLOSE)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/sem/logic.py", line 847, in assertToken
        raise UnexpectedTokenException(tok, expected)
    UnexpectedTokenException: parse error, unexpected token: y.  Expected token: )
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/inference.doctest", line 258, in ../../nltk/test/inference.doctest
Failed example:
    for drs in readings: print drs.simplify()
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/inference.doctest[47]>", line 1, in <module>
    NameError: name 'readings' is not defined
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/inference.doctest", line 269, in ../../nltk/test/inference.doctest
Failed example:
    readings[0].tp_equals(readings[1])
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/inference.doctest[48]>", line 1, in <module>
    NameError: name 'readings' is not defined
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/inference.doctest", line 293, in ../../nltk/test/inference.doctest
Failed example:
    print get_model_builder(None, [a3, c1]).build_model()
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/inference.doctest[52]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 185, in build_model
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/mace.py", line 152, in build_model
        stdout, returncode = call_mace4(self.prover9_input(goal, assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 152, in call_mace4
        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/inference.doctest", line 295, in ../../nltk/test/inference.doctest
Failed example:
    print get_model_builder(None, [a3, c2]).build_model()
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/inference.doctest[53]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 185, in build_model
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/mace.py", line 152, in build_model
        stdout, returncode = call_mace4(self.prover9_input(goal, assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 152, in call_mace4
        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/inference.doctest", line 320, in ../../nltk/test/inference.doctest
Failed example:
    print get_model_builder(g, [a4, a5, a6]).build_model()
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/inference.doctest[58]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 185, in build_model
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/mace.py", line 152, in build_model
        stdout, returncode = call_mace4(self.prover9_input(goal, assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 152, in call_mace4
        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/inference.doctest", line 342, in ../../nltk/test/inference.doctest
Failed example:
    mb.build_model()
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/inference.doctest[61]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 185, in build_model
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/mace.py", line 152, in build_model
        stdout, returncode = call_mace4(self.prover9_input(goal, assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 152, in call_mace4
        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/inference.doctest", line 347, in ../../nltk/test/inference.doctest
Failed example:
    mb.show_model(format='tabular')
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/inference.doctest[62]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/mace.py", line 122, in show_model
        raise ValueError("You have to call build_model() first to "
    ValueError: You have to call build_model() first to get a model!
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/inference.doctest", line 366, in ../../nltk/test/inference.doctest
Failed example:
    mb.show_model(format='cooked')
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/inference.doctest[63]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/mace.py", line 122, in show_model
        raise ValueError("You have to call build_model() first to "
    ValueError: You have to call build_model() first to get a model!
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/inference.doctest", line 384, in ../../nltk/test/inference.doctest
Failed example:
    print mb.convert2val()
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/inference.doctest[64]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/mace.py", line 50, in convert2val
        if self.build_model():
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 185, in build_model
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/mace.py", line 152, in build_model
        stdout, returncode = call_mace4(self.prover9_input(goal, assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 152, in call_mace4
        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/inference.doctest", line 392, in ../../nltk/test/inference.doctest
Failed example:
    m = mb.build_model()
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/inference.doctest[66]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/api.py", line 185, in build_model
        verbose)
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/mace.py", line 152, in build_model
        stdout, returncode = call_mace4(self.prover9_input(goal, assumptions))
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/prover9.py", line 152, in call_mace4
        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/inference.doctest", line 393, in ../../nltk/test/inference.doctest
Failed example:
    mb.show_model(format='cooked')
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/inference.doctest[67]>", line 1, in <module>
      File "/Volumes/Data/nltk/trunk/nltk/nltk/inference/mace.py", line 122, in show_model
        raise ValueError("You have to call build_model() first to "
    ValueError: You have to call build_model() first to get a model!


----------------------------------------------------------------------
Ran 1 test in 15.450s

FAILED (failures=1)