nltk.ResolutionProverCommand.find_answers ========================================= .. currentmodule:: nltk .. automethod:: ResolutionProverCommand.find_answers