nltk.TableauProverCommand.__init__
==================================

.. currentmodule:: nltk

.. automethod:: TableauProverCommand.__init__