nltk.inference.nonmonotonic.UniqueNamesProver

Method

assumptions

Domain = union([e.free()|e.constants() for e in all_expressions])

Inherited from ProverCommandDecorator:

Method	__init__	No summary
Method	decorate_proof	Modify and return the proof string :param proof_string: str the proof to decorate :param simplify: bool simplify the proof? :return: str
Method	get_prover	Return the prover object :return: Prover
Method	proof	Return the proof string :param simplify: bool simplify the proof? :return: str
Method	prove	Perform the actual proof.
Instance Variable	_proof	Undocumented
Instance Variable	_result	Undocumented

Inherited from TheoremToolCommandDecorator (via ProverCommandDecorator):

Method	add_assumptions	Add new assumptions to the assumption list.
Method	goal	Return the goal
Method	print_assumptions	Print the list of the current assumptions.
Method	retract_assumptions	Retract assumptions from the assumption list.
Instance Variable	_command	Undocumented