nltk/nltk — pull request #10 by kmike (2012-01-10 22:43:53+00:00)
Title: sem.skolemize and inference.resolution modules are fixed, tests for nltk.tree are corrected

Please excuse me for an unpleasant diff (there are a lot of extra whitespaces in the source code and editor auto-strips them).

sem.skolemize and inference.resolution mudules desperately needed extra imports and I've added them; tests for nltk.tree didn't work because the Tree was not imported.