nltk.ParallelProverBuilderCommand.goal

ParallelProverBuilderCommand.goal()

Return the goal

Returns:Expression