nltk.TableauProverCommand.print_assumptions
===========================================

.. currentmodule:: nltk

.. automethod:: TableauProverCommand.print_assumptions