((all x) ((true_of <boy> x) <=> (boy x)))
((all x) ((true_of <garcon> x) <=> (boy x)))
(den <tom> tom)
(name <tom>)
(eng_pred <boy>)
(fr_pred <garcon>)
((all x) ((all y) ((all z) ((all w)
  ((((name x) & (eng_copula y)) & ((eng_pred z) & (den x w)))
   => ((true_eng (concat x (concat y z)))
         <=> (true_of z w))))))) 
((all x) ((all y) ((all z) ((all w)
  ((((name x) & (fr_copula y)) & ((fr_pred z) & (den x w)))
   => ((true_fr (concat x (concat y z)))
         <=> (true_of z w)))))))
(eng_copula <is_a>)
(fr_copula <est>)
