nltk.ResolutionProverCommand.assumptions
========================================

.. currentmodule:: nltk

.. automethod:: ResolutionProverCommand.assumptions