nltk.ResolutionProverCommand.print_assumptions

ResolutionProverCommand.print_assumptions()

Print the list of the current assumptions.