nltk.ResolutionProverCommand.find_answers

ResolutionProverCommand.find_answers(verbose=False)[source]