A Discourse Representation Structure.
|
__init__(self,
refs,
conds)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature |
source code
|
|
|
replace(self,
variable,
expression,
replace_bound=False)
Replace all instances of variable v with expression E in self, where
v is free in self. |
source code
|
|
|
|
|
free(self,
indvar_only=True)
Return a set of all the free (non-bound) variables in self. |
source code
|
|
|
|
|
|
|
|
|
|
|
|
Inherited from AbstractDrs :
__add__ ,
__and__ ,
__call__ ,
__gt__ ,
__lt__ ,
__neg__ ,
__or__ ,
applyto ,
draw ,
get_EqualityExpression ,
is_pronoun_function ,
make_VariableExpression ,
negate ,
tp_equals
Inherited from logic.Expression :
__hash__ ,
__repr__ ,
__str__ ,
substitute_bindings
Inherited from object :
__delattr__ ,
__getattribute__ ,
__new__ ,
__reduce__ ,
__reduce_ex__ ,
__setattr__
Inherited from drt_resolve_anaphora.DRS :
resolve_anaphora
|