nltk.ParallelProverBuilderCommand.retract_assumptions
=====================================================

.. currentmodule:: nltk

.. automethod:: ParallelProverBuilderCommand.retract_assumptions