nltk.ResolutionProverCommand.__init__
=====================================

.. currentmodule:: nltk

.. automethod:: ResolutionProverCommand.__init__