nltk.sem.DrtExpression¶
-
class
nltk.sem.DrtExpression[source]¶ This is the base abstract DRT Expression from which every DRT Expression extends.
Methods¶
applyto(other) |
|
draw() |
|
eliminate_equality() |
|
equiv(other[, prover]) |
Check for logical equivalence. |
fromstring(s) |
|
get_refs([recursive]) |
Return the set of discourse referents in this DRS. |
is_pronoun_function() |
Is self of the form “PRO(x)”? |
make_EqualityExpression(first, second) |
|
make_VariableExpression(variable) |
|
pretty_format() |
Draw the DRS |
pretty_print() |
|
resolve_anaphora() |
|
typecheck([signature]) |