nltk.ParallelProverBuilderCommand.model
=======================================

.. currentmodule:: nltk

.. automethod:: ParallelProverBuilderCommand.model