nltk.ParallelProverBuilderCommand.assumptions
=============================================

.. currentmodule:: nltk

.. automethod:: ParallelProverBuilderCommand.assumptions