nltk.ResolutionProverCommand.add_assumptions
============================================

.. currentmodule:: nltk

.. automethod:: ResolutionProverCommand.add_assumptions