nltk.ResolutionProverCommand.retract_assumptions
================================================

.. currentmodule:: nltk

.. automethod:: ResolutionProverCommand.retract_assumptions