def label_indivs(valuation, lexicon=False):
 domain = valuation.domain
 pairs = [(e, e) for e in domain]
 if lexicon:
  lex = make_lex(domain)
  with open(u'chat_pnames.cfg', u'w') as outfile:
   outfile.writelines(lex)
 valuation.update(pairs)
 return valuation

def label_indivs ( valuation , lexicon = False ) : domain = valuation . domain pairs = [ ( e , e ) for e in domain ] if lexicon : lex = make_lex ( domain ) with open ( u'chat_pnames.cfg' , u'w' ) as outfile : outfile . writelines ( lex ) valuation . update ( pairs ) return valuation
assign individual constants to the individuals in the domain of a valuation .