nltk.sem.drt.DrtBinaryExpression

Method	get_refs	No summary
Static Method	_assemble_pretty	Undocumented
Method	_pretty	Undocumented
Method	_pretty_subex	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	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 BinaryExpression (via DrtExpression):

Method	__eq__	Undocumented
Method	__init__	Undocumented
Method	__ne__	Undocumented
Method	__str__	Undocumented
Method	findtype	:see Expression.findtype()
Method	visit	No summary
Instance Variable	first	Undocumented
Instance Variable	second	Undocumented
Method	_str_subex	Undocumented

Inherited from Expression (via DrtExpression, BinaryExpression):

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	free	Return a set of all the free (non-bound) variables. This includes both individual and predicate variables, but not constants. :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	replace	Replace every instance of 'variable' with 'expression' :param variable: Variable The variable to replace :param expression: Expression The expression with which to replace it :param replace_bound: bool Should bound variables be replaced...
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...
Method	visit_structured	Recursively visit subexpressions. Apply 'function' to each subexpression and pass the result of each function application to the 'combinator' for aggregation. The combinator must have the same signature as the constructor...
Method	_set_type	Set the type of this expression to be the given type. Raise type exceptions where applicable.
Class Variable	_logic_parser	Undocumented
Class Variable	_type_checking_logic_parser	Undocumented