Package nltk :: Package sem :: Module boxer :: Class BoxerDrsParser

[frames] | no frames]

type BoxerDrsParser

       object --+        
                |        
logic.LogicParser --+    
                    |    
        drt.DrtParser --+
                        |
                       BoxerDrsParser

Reparse the str form of subclasses of AbstractBoxerDrs

Instance Methods

__init__(self, discourse_id=None)

source code

get_all_symbols(self)
This method exists to be overridden

source code

attempt_adjuncts(self, expression, context)

source code

handle(self, tok, context)
This method is intended to be overridden for logics that use different operators or expressions

source code

nullableIntToken(self)

source code

get_next_token_variable(self, description)

source code

Inherited from drt.DrtParser: get_BooleanExpression_factory, handle_DRS, handle_conds, handle_refs, isvariable, make_ApplicationExpression, make_BooleanExpression, make_EqualityExpression, make_LambdaExpression, make_NegatedExpression, make_VariableExpression

Inherited from logic.LogicParser: __repr__, assertNextToken, assertToken, attempt_ApplicationExpression, attempt_BooleanExpression, attempt_EqualityExpression, ensure_abstractable, get_QuantifiedExpression_factory, handle_lambda, handle_negation, handle_open, handle_quant, handle_variable, has_priority, inRange, make_QuanifiedExpression, parse, parse_Expression, process, process_quoted_token, token

Instance Variables

Inherited from logic.LogicParser: type_check

Method Details

init(self, discourse_id=None)
(Constructor)

Parameters:

type_check - boolean should type checking be performed? to their types.

Overrides: logic.LogicParser.__init__

(inherited documentation)

get_all_symbols(self)

This method exists to be overridden

Overrides: logic.LogicParser.get_all_symbols: (inherited documentation)

attempt_adjuncts(self, expression, context)

Overrides: logic.LogicParser.attempt_adjuncts

handle(self, tok, context)

This method is intended to be overridden for logics that use different operators or expressions

Overrides: logic.LogicParser.handle: (inherited documentation)

get_next_token_variable(self, description)

Overrides: logic.LogicParser.get_next_token_variable