nltk.ParallelProverBuilderCommand.__init__

ParallelProverBuilderCommand.__init__(prover, modelbuilder, goal=None, assumptions=None)[source]