nltk.Prover9Command.print_assumptions
=====================================

.. currentmodule:: nltk

.. automethod:: Prover9Command.print_assumptions