nltk.ParallelProverBuilderCommand.print_assumptions
===================================================

.. currentmodule:: nltk

.. automethod:: ParallelProverBuilderCommand.print_assumptions