nltk.ResolutionProverCommand.print_assumptions
==============================================

.. currentmodule:: nltk

.. automethod:: ResolutionProverCommand.print_assumptions