nltk.ResolutionProverCommand.goal
=================================

.. currentmodule:: nltk

.. automethod:: ResolutionProverCommand.goal