nltk.TableauProverCommand.print_assumptions

TableauProverCommand.print_assumptions()

Print the list of the current assumptions.