__init__(refs, conds[, consequent]) |
| param refs: | list of DrtIndividualVariableExpression for the |
|---|
|
applyto(other) |
|
constants() |
Return a set of individual constants (non-predicates). |
draw() |
|
eliminate_equality() |
|
equiv(other[, prover]) |
Check for logical equivalence. |
findtype(variable) |
Find the type of the given variable as it is used in this expression. |
fol() |
|
free() |
|
fromstring(s) |
|
get_refs([recursive]) |
| see: | AbstractExpression.get_refs() |
|---|
|
is_pronoun_function() |
Is self of the form “PRO(x)”? |
make_EqualityExpression(first, second) |
|
make_VariableExpression(variable) |
|
negate() |
If this is a negated expression, remove the negation. |
normalize([newvars]) |
Rename auto-generated unique variables |
predicates() |
Return a set of predicates (constants, not variables). |
pretty_format() |
Draw the DRS |
pretty_print() |
|
replace(variable, expression[, ...]) |
Replace all instances of variable v with expression E in self, where v is free in self. |
resolve_anaphora() |
|
simplify() |
| return: | beta-converted version of this expression |
|---|
|
substitute_bindings(bindings) |
|
typecheck([signature]) |
|
unicode_repr() |
|
variables() |
Return a set of all the variables for binding substitution. |
visit(function, combinator) |
|
visit_structured(function, combinator) |
| see: | Expression.visit_structured() |
|---|
|