made doctests in nltk.sem.evaluate deterministic with some syntax fixes