Package nltk :: Package sem :: Module drt :: Class DrtApplicationExpression

[frames] | no frames]

type DrtApplicationExpression

                       object --+    
                                |    
                      AbstractDrs --+
                                    |
               object --+           |
                        |           |
logic.SubstituteBindingsI --+       |
                            |       |
             logic.Expression --+   |
                                |   |
      logic.ApplicationExpression --+
                                    |
                                   DrtApplicationExpression

Instance Methods

fol(self)

source code

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

source code

_pretty(self)

source code

Inherited from AbstractDrs: __add__, __and__, __gt__, __neg__, __or__, applyto, draw, eliminate_equality, equiv, is_pronoun_function, make_EqualityExpression, make_VariableExpression, pprint, pretty, resolve_anaphora, typecheck

Inherited from AbstractDrs (private): _get_type

Inherited from logic.ApplicationExpression: __eq__, __init__, __str__, findtype, free, simplify, str, uncurry, visit

Inherited from logic.ApplicationExpression (private): _set_type

Inherited from logic.Expression: __call__, __hash__, __lt__, __neq__, __repr__, negate, normalize, replace, substitute_bindings, tp_equals, variables

Properties

Inherited from AbstractDrs: type

Inherited from logic.ApplicationExpression: args

Method Details

get_refs(self, recursive=False)

Return the set of discourse referents in this DRS.

Parameters:

recursive - boolean Also find discourse referents in subterms?

Returns:

list of Variables

Overrides: AbstractDrs.get_refs

See Also: AbstractExpression.get_refs()