nltk.sem.drt.DrtLambdaExpression

Method	alpha_convert	Rename all occurrences of the variable introduced by this variable binder in the expression to newvar. :param newvar: Variable, for the new variable
Method	fol	Undocumented
Method	_pretty	Undocumented

Inherited from DrtExpression:

Class Method	fromstring	Undocumented
Method	__add__	Undocumented
Method	__and__	Undocumented
Method	__gt__	Undocumented
Method	__neg__	Undocumented
Method	__or__	Undocumented
Method	applyto	Undocumented
Method	draw	Undocumented
Method	eliminate_equality	Undocumented
Method	equiv	Check for logical equivalence. Pass the expression (self <-> other) to the theorem prover. If the prover says it is valid, then the self and other are equal.
Method	get_refs	Return the set of discourse referents in this DRS. :param recursive: bool Also find discourse referents in subterms? :return: list of Variable objects
Method	is_pronoun_function	Is self of the form "PRO(x)"?
Method	make_EqualityExpression	Undocumented
Method	make_VariableExpression	Undocumented
Method	pretty_format	Draw the DRS :return: the pretty print string
Method	pretty_print	Undocumented
Method	resolve_anaphora	Undocumented
Method	typecheck	Undocumented
Property	type	Undocumented
Class Variable	_drt_parser	Undocumented

Inherited from LambdaExpression (via DrtExpression):

Method	__str__	Undocumented
Method	_set_type	:see Expression._set_type()

Inherited from VariableBinderExpression (via DrtExpression, LambdaExpression):

Method	__eq__	Defines equality modulo alphabetic variance. If we are comparing x.M and y.N, then check equality of M and N[x/y].
Method	__init__	No summary
Method	__ne__	Undocumented
Method	findtype	:see Expression.findtype()
Method	free	No summary
Method	replace	No summary
Method	visit	No summary
Method	visit_structured	No summary
Instance Variable	term	Undocumented
Instance Variable	variable	Undocumented

Inherited from Expression (via DrtExpression, LambdaExpression, VariableBinderExpression):

Method	__call__	Undocumented
Method	__hash__	Undocumented
Method	__lt__	Undocumented
Method	__repr__	Undocumented
Method	constants	Return a set of individual constants (non-predicates). :return: set of Variable objects
Method	negate	If this is a negated expression, remove the negation. Otherwise add a negation.
Method	normalize	Rename auto-generated unique variables
Method	predicates	Return a set of predicates (constants, not variables). :return: set of Variable objects
Method	simplify	No summary
Method	substitute_bindings	No summary
Method	variables	Return a set of all the variables for binding substitution. The variables returned include all free (non-bound) individual variables and any variable starting with '?' or '@'. :return: set of Variable objects...
Class Variable	_logic_parser	Undocumented
Class Variable	_type_checking_logic_parser	Undocumented