nltk.TableauProverCommand.goal
==============================

.. currentmodule:: nltk

.. automethod:: TableauProverCommand.goal