nltk.TableauProverCommand.assumptions
=====================================

.. currentmodule:: nltk

.. automethod:: TableauProverCommand.assumptions