«
class documentation

class DrtTokens(Tokens): (source)

View In Hierarchy

Undocumented

Constant CLOSE_BRACKET Undocumented
Constant COLON Undocumented
Constant DRS Undocumented
Constant DRS_CONC Undocumented
Constant OPEN_BRACKET Undocumented
Constant PRONOUN Undocumented
Constant PUNCT Undocumented
Constant SYMBOLS Undocumented
Constant TOKENS Undocumented

Inherited from Tokens:

Constant ALL Undocumented
Constant ALL_LIST Undocumented
Constant AND Undocumented
Constant AND_LIST Undocumented
Constant BINOPS Undocumented
Constant CLOSE Undocumented
Constant COMMA Undocumented
Constant DOT Undocumented
Constant EQ Undocumented
Constant EQ_LIST Undocumented
Constant EXISTS Undocumented
Constant EXISTS_LIST Undocumented
Constant IFF Undocumented
Constant IFF_LIST Undocumented
Constant IMP Undocumented
Constant IMP_LIST Undocumented
Constant LAMBDA Undocumented
Constant LAMBDA_LIST Undocumented
Constant NEQ Undocumented
Constant NEQ_LIST Undocumented
Constant NOT Undocumented
Constant NOT_LIST Undocumented
Constant OPEN Undocumented
Constant OR Undocumented
Constant OR_LIST Undocumented
Constant QUANTS Undocumented
CLOSE_BRACKET: str = (source)

Undocumented

Value
']'
COLON: str = (source)

Undocumented

Value
':'
DRS: str = (source)

Undocumented

Value
'DRS'
DRS_CONC: str = (source)

Undocumented

Value
'+'
OPEN_BRACKET: str = (source)

Undocumented

Value
'['
PRONOUN: str = (source)

Undocumented

Value
'PRO'

Undocumented

Value
Tokens.TOKENS + [DRS] + PUNCT