nltk.DRS

class nltk.DRS(refs, conds, consequent=None)[source]

A Discourse Representation Structure.

Methods

__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()
see:Expression.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)
see:Expression.visit()
visit_structured(function, combinator)
see:Expression.visit_structured()

Attributes

type