Package nltk :: Package sem :: Module drt :: Class DrtTokens
[hide private]
[frames] | no frames]

type DrtTokens

source code

  object --+    
           |    
logic.Tokens --+
               |
              DrtTokens

Class Variables [hide private]
  DRS = 'DRS'
  DRS_CONC = '+'
  PRONOUN = 'PRO'
  OPEN_BRACKET = '['
  CLOSE_BRACKET = ']'
  PUNCT = ['+', '[', ']']
  SYMBOLS = ['&', '^', '|', '->', '=>', '<->', '<=>', '=', '==',...
  TOKENS = ['and', '&', '^', 'or', '|', 'implies', '->', '=>', '...

Inherited from logic.Tokens: ALL, ALL_LIST, AND, AND_LIST, BINOPS, CLOSE, COMMA, DOT, EQ, EQ_LIST, EXISTS, EXISTS_LIST, IFF, IFF_LIST, IMP, IMP_LIST, LAMBDA, LAMBDA_LIST, NEQ, NEQ_LIST, NLTK, NOT, NOT_LIST, OLD_NLTK, OPEN, OR, OR_LIST, PROVER9, QUANTS, x

Class Variable Details [hide private]

SYMBOLS

Value:
['&',
 '^',
 '|',
 '->',
 '=>',
 '<->',
 '<=>',
 '=',
...

TOKENS

Value:
['and',
 '&',
 '^',
 'or',
 '|',
 'implies',
 '->',
 '=>',
...