nltk.ParallelProverBuilderCommand.goal
======================================

.. currentmodule:: nltk

.. automethod:: ParallelProverBuilderCommand.goal