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

Class Tokens

source code

logic.Tokens --+
               |
              Tokens

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, AND, BINOPS, CLOSE, COMMA, DOT, EQ, EXISTS, IFF, IMP, LAMBDA, NEQ, NEW_NLTK, NOT, OLD_NLTK, OPEN, OR, PROVER9, QUANTS

Class Variable Details [hide private]

SYMBOLS

Value:
['\\',
 '\\',
 '\\',
 '.',
 '(',
 ')',
 ',',
 '&',
...

TOKENS

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