':param modelbuilder: The theorem tool to execute with the assumptions
:type modelbuilder: ModelBuilder
:see: ``BaseTheoremToolCommand``'

def __init__(self, modelbuilder, goal=None, assumptions=None):

    self._modelbuilder = modelbuilder
    'The    theorem    tool    to    execute    with    the    assumptions'
    BaseTheoremToolCommand.__init__(self, goal, assumptions)
    self._model = None
