#NEWLINE# def _pretty_subex( self , subex ) : #NEWLINE# #INDENT# if isinstance ( self , DrtConcatenation ) : #NEWLINE# #INDENT# return [ line [ 1 : ( - 1 ) ] for line in subex . _pretty ( ) ] #NEWLINE# #UNINDENT# return DrtBooleanExpression . _pretty_subex ( self , subex )