nltk.TableauProverCommand.add_assumptions
=========================================

.. currentmodule:: nltk

.. automethod:: TableauProverCommand.add_assumptions