Package nltk :: Package sem :: Module drt :: Class DrtEventVariableExpression

type DrtEventVariableExpression

                       object --+            
                                |            
                      AbstractDrs --+        
                                    |        
               object --+           |        
                        |           |        
logic.SubstituteBindingsI --+       |        
                            |       |        
             logic.Expression --+   |        
                                |   |        
 logic.AbstractVariableExpression --+        
                                    |        
        DrtAbstractVariableExpression --+    
                                        |    
               object --+               |    
                        |               |    
logic.SubstituteBindingsI --+           |    
                            |           |    
             logic.Expression --+       |    
                                |       |    
 logic.AbstractVariableExpression --+   |    
                                    |   |    
   logic.IndividualVariableExpression --+    
                                        |    
          DrtIndividualVariableExpression --+
                                            |
               object --+                   |
                        |                   |
logic.SubstituteBindingsI --+               |
                            |               |
             logic.Expression --+           |
                                |           |
 logic.AbstractVariableExpression --+       |
                                    |       |
   logic.IndividualVariableExpression --+   |
                                        |   |
            logic.EventVariableExpression --+
                                            |
                                           DrtEventVariableExpression

Instance Methods

[hide private]

Inherited from DrtAbstractVariableExpression: fol, get_refs

Inherited from DrtAbstractVariableExpression (private): _pretty

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.IndividualVariableExpression (private): _set_type

Inherited from logic.AbstractVariableExpression: __eq__, __init__, __str__, findtype, replace, simplify, str, visit

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

Properties

[hide private]

Inherited from AbstractDrs: type