nltk.ParallelProverBuilderCommand.retract_assumptions

ParallelProverBuilderCommand.retract_assumptions(retracted, debug=False)

Retract assumptions from the assumption list.

Parameters:debug – If True, give warning when retracted is not present on

assumptions list. :type debug: bool :param retracted: assumptions to be retracted :type retracted: list(sem.Expression)