nltk.ParallelProverBuilderCommand.print_assumptions

ParallelProverBuilderCommand.print_assumptions()

Print the list of the current assumptions.