Index

_

__call__() (nltk_drt.presuppdrt.ConditionRemover method) (nltk_drt.presuppdrt.ConditionReplacer method) (nltk_drt.presuppdrt.PresuppositionDRS.Accommodate method) (nltk_drt.presuppdrt.PresuppositionDRS.Bind method) (nltk_drt.presuppdrt.PresuppositionDRS.DoMultipleOperations method) (nltk_drt.presuppdrt.PresuppositionDRS.InnerReplace method) (nltk_drt.presuppdrt.PresuppositionDRS.MoveTemporalConditions method) (nltk_drt.presuppdrt.PresuppositionDRS.Operation method) (nltk_drt.presuppdrt.VariableReplacer method) __eq__() (nltk_drt.presuppdrt.DrtConcatenation method) (nltk_drt.presuppdrt.DrtImpExpression method) __gt__() (nltk_drt.presuppdrt.DrtExpression method) __hash__ (nltk_drt.presuppdrt.DrtImpExpression attribute) __hash__() (nltk_drt.presuppdrt.DrtConcatenation method) __init__() (nltk_drt.inference.Communicator method) (nltk_drt.presuppdrt.ConditionRemover method) (nltk_drt.presuppdrt.ConditionReplacer method) (nltk_drt.presuppdrt.DrtFeatureConstantExpression method) (nltk_drt.presuppdrt.PresuppositionDRS.Accommodate method) (nltk_drt.presuppdrt.PresuppositionDRS.Bind method) (nltk_drt.presuppdrt.PresuppositionDRS.DoMultipleOperations method) (nltk_drt.presuppdrt.PresuppositionDRS.InnerReplace method) (nltk_drt.presuppdrt.PresuppositionDRS.MoveTemporalConditions method) (nltk_drt.presuppdrt.VariableReplacer method) (nltk_drt.wntemporaldrt.DefiniteDescriptionDRS method)

__lt__() (nltk_drt.presuppdrt.DrtExpression method) __str__() (nltk_drt.presuppdrt.StateType method) (nltk_drt.presuppdrt.TimeType method) __weakref__ (nltk_drt.inference.AdmissibilityError attribute) (nltk_drt.inference.ConsistencyError attribute) (nltk_drt.inference.InformativityError attribute) (nltk_drt.presuppdrt.ConditionRemover attribute) (nltk_drt.presuppdrt.ConditionReplacer attribute) (nltk_drt.presuppdrt.PresuppositionDRS.Operation attribute) (nltk_drt.presuppdrt.Reading attribute) (nltk_drt.presuppdrt.ResolutionException attribute) (nltk_drt.presuppdrt.VariableReplacer attribute) (nltk_drt.temporaldrt.LocationTimeResolutionException attribute) (nltk_drt.temporaldrt.UtteranceTimeTimeResolutionException attribute) (nltk_drt.util.ComparisonFailed attribute) (nltk_drt.util.FailedReading attribute) (nltk_drt.util.NoReadingProduced attribute) (nltk_drt.util.UngrammaticalException attribute)

A

AdmissibilityError (class in nltk_drt.inference)

alpha_convert() (nltk_drt.presuppdrt.DrtLambdaExpression method)

B

Binding (class in nltk_drt.presuppdrt)

C

Communicator (class in nltk_drt.inference) ComparisonFailed

ConditionRemover (class in nltk_drt.presuppdrt) ConditionReplacer (class in nltk_drt.presuppdrt) ConsistencyError (class in nltk_drt.inference)

D

deepcopy() (nltk_drt.presuppdrt.DRS method) DefiniteDescriptionDRS (class in nltk_drt.presuppdrt) (class in nltk_drt.temporaldrt) (class in nltk_drt.wntemporaldrt) DRS (class in nltk_drt.presuppdrt) DrtAbstractVariableExpression (class in nltk_drt.presuppdrt) DrtApplicationExpression (class in nltk_drt.presuppdrt) DrtBooleanExpression (class in nltk_drt.presuppdrt) DrtConcatenation (class in nltk_drt.presuppdrt) DrtConstantExpression (class in nltk_drt.presuppdrt) DrtEqualityExpression (class in nltk_drt.presuppdrt) DrtEventualityApplicationExpression (class in nltk_drt.presuppdrt) DrtEventVariableExpression (class in nltk_drt.presuppdrt) DrtExpression (class in nltk_drt.presuppdrt) DrtFeatureConstantExpression (class in nltk_drt.presuppdrt) DrtFeatureExpression (class in nltk_drt.presuppdrt) DrtFindEventualityExpression (class in nltk_drt.temporaldrt) DrtFindUtterTimeExpression (class in nltk_drt.temporaldrt)

DrtFunctionVariableExpression (class in nltk_drt.presuppdrt) DrtIffExpression (class in nltk_drt.presuppdrt) DrtImpExpression (class in nltk_drt.presuppdrt) DrtIndividualVariableExpression (class in nltk_drt.presuppdrt) DrtLambdaExpression (class in nltk_drt.presuppdrt) DrtLocationTimeApplicationExpression (class in nltk_drt.temporaldrt) DrtNegatedExpression (class in nltk_drt.presuppdrt) DrtOrExpression (class in nltk_drt.presuppdrt) DrtParser (class in nltk_drt.presuppdrt) (class in nltk_drt.temporaldrt) (class in nltk_drt.wntemporaldrt) DrtProperNameExpression (class in nltk_drt.presuppdrt) DrtStateVariableExpression (class in nltk_drt.presuppdrt) DrtTimeApplicationExpression (class in nltk_drt.temporaldrt) DrtTimeVariableExpression (class in nltk_drt.presuppdrt) DrtTokens (class in nltk_drt.presuppdrt) (class in nltk_drt.temporaldrt) DrtUtterVariableExpression (class in nltk_drt.presuppdrt) DrtVariableExpression() (in module nltk_drt.presuppdrt)

F

FailedReading

free() (nltk_drt.presuppdrt.DRS method)

G

get_all_symbols() (nltk_drt.presuppdrt.DrtParser method) get_bk() (in module nltk_drt.inference) get_BooleanExpression_factory() (nltk_drt.presuppdrt.DrtParser method)

get_refs() (nltk_drt.presuppdrt.DRS method) (nltk_drt.presuppdrt.DrtConcatenation method) (nltk_drt.presuppdrt.DrtLambdaExpression method) GlobalAccommodation (class in nltk_drt.presuppdrt)

H

handle() (nltk_drt.presuppdrt.DrtParser method) handle_PresuppositionDRS() (nltk_drt.presuppdrt.DrtParser method) (nltk_drt.temporaldrt.DrtParser method) (nltk_drt.wntemporaldrt.DrtParser method)

I

inference_check() (in module nltk_drt.inference) InformativityError (class in nltk_drt.inference) IntermediateAccommodation (class in nltk_drt.presuppdrt) is_indvar() (in module nltk_drt.presuppdrt)

is_propername() (nltk_drt.presuppdrt.DrtApplicationExpression method) is_statevar() (in module nltk_drt.presuppdrt) is_timevar() (in module nltk_drt.presuppdrt) is_unary_predicate() (in module nltk_drt.presuppdrt) is_uttervar() (in module nltk_drt.presuppdrt)

L

LocalAccommodation (class in nltk_drt.presuppdrt)

LocationTimeResolutionException

M

main() (in module nltk_drt.curt) make_EqualityExpression() (nltk_drt.presuppdrt.DrtExpression method) (nltk_drt.presuppdrt.DrtParser method) make_VariableExpression() (nltk_drt.presuppdrt.DrtExpression method) module nltk_drt.curt nltk_drt.inference nltk_drt.nltkfixtemporal nltk_drt.presuppdrt nltk_drt.temporaldrt nltk_drt.util nltk_drt.wntemporaldrt

N

NewInfoDRS (class in nltk_drt.temporaldrt) nltk_drt.curt module nltk_drt.inference module nltk_drt.nltkfixtemporal module nltk_drt.presuppdrt module

nltk_drt.temporaldrt module nltk_drt.util module nltk_drt.wntemporaldrt module NoReadingProduced normalize() (nltk_drt.presuppdrt.DrtExpression method)

P

PresuppositionDRS (class in nltk_drt.presuppdrt) (class in nltk_drt.temporaldrt) PresuppositionDRS.Accommodate (class in nltk_drt.presuppdrt) PresuppositionDRS.Bind (class in nltk_drt.presuppdrt) PresuppositionDRS.DoMultipleOperations (class in nltk_drt.presuppdrt)

PresuppositionDRS.InnerReplace (class in nltk_drt.presuppdrt) PresuppositionDRS.MoveTemporalConditions (class in nltk_drt.presuppdrt) PresuppositionDRS.Operation (class in nltk_drt.presuppdrt) PronounDRS (class in nltk_drt.presuppdrt) ProperNameDRS (class in nltk_drt.presuppdrt)

R

Reading (class in nltk_drt.presuppdrt) readings() (nltk_drt.presuppdrt.DRS method) (nltk_drt.presuppdrt.PresuppositionDRS method) replace() (nltk_drt.presuppdrt.DRS method) (nltk_drt.presuppdrt.DrtConcatenation method) (nltk_drt.presuppdrt.DrtFeatureConstantExpression method) (nltk_drt.presuppdrt.DrtLambdaExpression method)

ResolutionException resolve() (nltk_drt.presuppdrt.DrtExpression method) run() (nltk_drt.inference.Communicator method)

S

semantic_check() (nltk_drt.presuppdrt.DefiniteDescriptionDRS method) (nltk_drt.wntemporaldrt.DefiniteDescriptionDRS method) simplify() (nltk_drt.presuppdrt.DRS method) (nltk_drt.presuppdrt.DrtBooleanExpression method) (nltk_drt.presuppdrt.DrtConcatenation method)

StateType (class in nltk_drt.presuppdrt) StateVariableExpression (class in nltk_drt.presuppdrt) substitute_bindings() (nltk_drt.presuppdrt.DrtExpression method)

T

test() (in module nltk_drt.wntemporaldrt)

TimeType (class in nltk_drt.presuppdrt) TimeVariableExpression (class in nltk_drt.presuppdrt)

U

UngrammaticalException

unique_variable() (in module nltk_drt.presuppdrt) UtteranceTimeTimeResolutionException

V

VariableReplacer (class in nltk_drt.presuppdrt)

visit() (nltk_drt.presuppdrt.DrtFeatureConstantExpression method)