nltk.ResolutionProver.ANSWER_KEY

ResolutionProver.ANSWER_KEY = u'ANSWER'