nltk.ParallelProverBuilderCommand.add_assumptions
=================================================

.. currentmodule:: nltk

.. automethod:: ParallelProverBuilderCommand.add_assumptions