nltk.Mace.prover9_input
=======================

.. currentmodule:: nltk

.. automethod:: Mace.prover9_input