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

----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/resolution.doctest", line 160, in ../../nltk/test/resolution.doctest
Failed example:
    tp.show_proof()
Differences (unified diff with -expected +actual):
    @@ -5,2 +5,3 @@
     [5] {mortal(Socrates)}      (2, 3)
     [6] {}                      (1, 5)
    +<BLANKLINE>
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/resolution.doctest", line 180, in ../../nltk/test/resolution.doctest
Failed example:
    tp.show_proof()
Differences (unified diff with -expected +actual):
    @@ -8,2 +8,3 @@
     [8] {ANSWER(art)}                          (1, 7)
     [9] {ANSWER(art)}                          (4, 5)
    +<BLANKLINE>
----------------------------------------------------------------------
File "/Volumes/Data/nltk/trunk/nltk/nltk/test/resolution.doctest", line 201, in ../../nltk/test/resolution.doctest
Failed example:
    tp.show_proof()
Differences (unified diff with -expected +actual):
    @@ -12,2 +12,3 @@
     [12] {ANSWER(art)}                          (5, 6)
     [13] {ANSWER(ann)}                          (5, 7)
    +<BLANKLINE>


----------------------------------------------------------------------
Ran 1 test in 7.382s

FAILED (failures=1)