nltk.Prover9Command.print_assumptions

Prover9Command.print_assumptions(output_format='nltk')

Print the list of the current assumptions.