Package nltk :: Package sem :: Module drt :: Class AbstractDrs

type AbstractDrs

object --+
         |
        AbstractDrs

Known Subclasses:

This is the base abstract DRT Expression from which every DRT Expression extends.

Instance Methods

[hide private]

applyto(self, other)

source code

__neg__(self)

source code

__and__(self, other)

source code

__or__(self, other)

source code

__gt__(self, other)

source code

equiv(self, other, prover=None)
Check for logical equivalence.

source code

_get_type(self)

source code

typecheck(self, signature=None)

source code

__add__(self, other)

source code

get_refs(self, recursive=False)
Return the set of discourse referents in this DRS.

source code

is_pronoun_function(self)
Is self of the form "PRO(x)"?

source code

make_EqualityExpression(self, first, second)

source code

make_VariableExpression(self, variable)

source code

resolve_anaphora(self)

source code

eliminate_equality(self)

source code

pprint(self)
Draw the DRS

source code

pretty(self)
Draw the DRS

source code

draw(self)

source code

Properties

[hide private]

type

Method Details

[hide private]

equiv(self, other, prover=None)

source code

Check for logical equivalence. Pass the expression (self <-> other) to the theorem prover. If the prover says it is valid, then the self and other are equal.

Parameters:

other - an AbstractDrs to check equality against
prover - a nltk.inference.api.Prover

get_refs(self, recursive=False)

source code

Return the set of discourse referents in this DRS.

Parameters:

recursive - boolean Also find discourse referents in subterms?

Returns:

list of Variables

pretty(self)

source code

Draw the DRS

Returns:: the pretty print string

Property Details

[hide private]

type

Get Method:: _get_type(self)