nltk.sem.boxer.BoxerDrsParser

class documentation

class BoxerDrsParser(DrtParser): (source)

Constructor: BoxerDrsParser(discourse_id)

View In Hierarchy

Reparse the str form of subclasses of AbstractBoxerDrs

Method __init__ to their types.
Method attempt_adjuncts Undocumented
Method get_all_symbols This method exists to be overridden
Method get_next_token_variable Undocumented
Method handle This method is intended to be overridden for logics that use different operators or expressions
Method nullableIntToken Undocumented
Instance Variable discourse_id Undocumented

Inherited from DrtParser:

Method get_BooleanExpression_factory This method serves as a hook for other logic parsers that have different boolean operators
Method handle_conds Undocumented
Method handle_DRS Undocumented
Method handle_prop Undocumented
Method handle_refs Undocumented
Method isvariable Undocumented
Method make_ApplicationExpression Undocumented
Method make_BooleanExpression Undocumented
Method make_EqualityExpression This method serves as a hook for other logic parsers that have different equality expression classes
Method make_LambdaExpression Undocumented
Method make_NegatedExpression Undocumented
Method make_VariableExpression Undocumented
Instance Variable operator_precedence Undocumented

Inherited from LogicParser (via DrtParser):

Method __repr__ Undocumented
Method assertNextToken Undocumented
Method assertToken Undocumented
Method attempt_ApplicationExpression Attempt to make an application expression. The next tokens are a list of arguments in parens, then the argument expression is a function being applied to the arguments. Otherwise, return the argument expression.
Method attempt_BooleanExpression Attempt to make a boolean expression. If the next token is a boolean operator, then a BooleanExpression will be returned. Otherwise, the parameter will be returned.
Method attempt_EqualityExpression Attempt to make an equality expression. If the next token is an equality operator, then an EqualityExpression will be returned. Otherwise, the parameter will be returned.
Method get_QuantifiedExpression_factory This method serves as a hook for other logic parsers that have different quantifiers
Method handle_lambda Undocumented
Method handle_negation Undocumented
Method handle_open Undocumented
Method handle_quant Undocumented
Method handle_variable Undocumented
Method has_priority Undocumented
Method inRange Return TRUE if the given location is within the buffer
Method make_QuanifiedExpression Undocumented
Method parse Parse the expression.
Method process Split the data into tokens
Method process_next_expression Parse the next complete expression from the stream and return it.
Method process_quoted_token Undocumented
Method token Get the next waiting token. If a location is given, then return the token at currentIndex+location without advancing currentIndex; setting it gives lookahead/lookback capability.
Instance Variable quote_chars Undocumented
Instance Variable right_associated_operations Undocumented
Instance Variable type_check A list of tuples of quote characters. The 4-tuple is comprised of the start character, the end character, the escape character, and a boolean indicating whether the quotes should be included in the result...
Instance Variable _buffer Undocumented
Instance Variable _currentIndex Undocumented
def __init__(self, discourse_id=None): (source)
overrides nltk.sem.drt.DrtParser.__init__

to their types.

Parameters
discourse_idUndocumented
type_checkbool should type checking be performed?
def attempt_adjuncts(self, expression, context): (source)
overrides nltk.sem.logic.LogicParser.attempt_adjuncts

Undocumented

def get_all_symbols(self): (source)
overrides nltk.sem.drt.DrtParser.get_all_symbols

This method exists to be overridden

def get_next_token_variable(self, description): (source)
overrides nltk.sem.logic.LogicParser.get_next_token_variable

Undocumented

def handle(self, tok, context): (source)
overrides nltk.sem.drt.DrtParser.handle

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

def nullableIntToken(self): (source)

Undocumented

discourse_id = (source)

Undocumented