#NEWLINE# def _pretty( self ) : #NEWLINE# #INDENT# refs_line = ' ' . join ( self . _order_ref_strings ( refs_line . refs ) ) #NEWLINE# cond_lines = [ cond for cond_line in [ filter ( ( lambda s : s . strip ( ) ) , cond . _pretty ( ) ) for cond in self . conds ] for cond in cond_line ] #NEWLINE# length = max ( ( [ len ( refs_line ) ] + list ( map ( len , cond_lines ) ) ) ) #NEWLINE# drs = ( ( [ ( ( ' _' + ( '_' * length ) ) + '_ ' ) , ( ( '| ' + refs_line . ljust ( length ) ) + ' |' ) , ( ( '|-' + ( '-' * length ) ) + '-|' ) ] + [ ( ( '| ' + line . ljust ( length ) ) + ' |' ) for line in cond_lines ] ) + [ ( ( '|_' + ( '_' * length ) ) + '_|' ) ] ) #NEWLINE# if self . consequent : #NEWLINE# #INDENT# return DrtBinaryExpression . _assemble_pretty ( drs , DrtTokens . IMP , self . consequent . _pretty ( ) ) #NEWLINE# #UNINDENT# return drs