#NEWLINE# def handle( self , tok , context ) : #NEWLINE# #INDENT# 'This method is intended to be overridden for logics that\n        use different operators or expressions' #NEWLINE# if self . isvariable ( tok ) : #NEWLINE# #INDENT# return self . handle_variable ( tok , context ) #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# if ( tok in Tokens . NOT_LIST ) : #NEWLINE# #INDENT# return self . handle_negation ( tok , context ) #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# if ( tok in Tokens . LAMBDA_LIST ) : #NEWLINE# #INDENT# return self . handle_lambda ( tok , context ) #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# if ( tok in Tokens . QUANTS ) : #NEWLINE# #INDENT# return self . handle_quant ( tok , context ) #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# if ( tok == Tokens . OPEN ) : #NEWLINE# #INDENT# return self . handle_open ( context , context )