nltk.DrtExpression
¶
-
class
nltk.
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]) |