nltk.TableauProverCommand.retract_assumptions¶

TableauProverCommand.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)