nltk.Prover9Command.add_assumptions
===================================

.. currentmodule:: nltk

.. automethod:: Prover9Command.add_assumptions