nltk.ParallelProverBuilderCommand.model¶

ParallelProverBuilderCommand.model(format=None)¶

Return a string representation of the model

Parameters:	simplify – bool simplify the proof?
Returns:	str