nltk.Prover9.prover9_input
==========================

.. currentmodule:: nltk

.. automethod:: Prover9.prover9_input