nltk.Prover9Command.__init__
============================

.. currentmodule:: nltk

.. automethod:: Prover9Command.__init__