?- ((some x)
  (((true_eng (concat <tom>
                      (concat <is_a> <boy>)))
     <=>
     (true_french x))
    &
    ($ans x)))
 
1. ((all x) ((true_of_eng <boy> x) <=> (boy x)))
2. (den <tom> tom)
3. ((all x)
  ((all y)
    ((all z)
      ((all w)
        ((((name x) & (den x w)) &
                                 ((eng_copula y) &
                                                 (eng_pred z)))
          =>
          ((true_eng (concat x (concat y z))) <=>
                                              (true_of_eng z w)))))))
4. ((all x) ((true_of_french <garcon> x) <=> (boy x)))
5. (eng_copula <is_a>)
6. (name <tom>)
7. (french_copula <est_un>)
8. ((all x)
  ((all y)
    ((all z)
      ((all w)
        ((((name x) & (den x w)) &
                                 ((french_copula y) &
                                                    (french_pred z)))
          =>
          ((true_french (concat x (concat y z))) <=>
                                                 (true_of_french z w)))))))
9. (french_pred <garcon>)
10. (eng_pred <boy>)

?- ((some x)
  (((true_in_portuguese
      (concat <maria>
              (concat <e_uma>
                      (concat <mulher> <bonita>))))
     <=>
     (true_in_eng x))
    &
    ($ans x)))
 
1. ((all x) ((true_of_portuguese <bonita> x) <=> (pretty x)))
2. ((all x) ((true_of_portuguese <mulher> x) <=> (woman x)))
3. (den <maria> maria)
4. (eng_copula <is_a>)
5. (portuguese_copula <e_uma>)
6. ((all x) ((true_of_eng <pretty> x) <=> (pretty x)))
7. ((all x) ((true_of_eng <woman> x) <=> (woman x)))
8. (name <maria>)
9. (portuguese_noun <mulher>)
10. (eng_noun <woman>)
11. (portuguese_adj <bonita>)
12. (eng_adj <pretty>)
13. ((all w)
  ((all x)
    ((all y)
      ((all z)
        ((all a?)
          ((((name w) &
                      (portuguese_copula x))
             &
             ((portuguese_adj y) &
                                 (portuguese_noun z)))
            =>
            ((true_in_portuguese (concat w
                                         (concat x (concat z y))))
              <=>
              ((den w a?) &
                          ((true_of_portuguese y a?) &
                                                     (true_of_portuguese z a?))))))))))
14. ((all w)
  ((all x)
    ((all y)
      ((all z)
        ((all a?)
          ((((name w) & (eng_copula x)) &
                                        ((eng_adj y) &
                                                     (eng_noun z)))
            =>
            ((true_in_eng (concat w
                                  (concat x (concat y z))))
              <=>
              ((den w a?) &
                          ((true_of_eng y a?) &
                                              (true_of_eng z a?))))))))))

((some x)
  (((true_in_eng (concat <maria>
                         (concat <is_a>
                                 (concat <pretty> <woman>))))
     <=>
     (true_in_portuguese x))
    &
    ($ans x)))
 
1. ((all x) ((true_of_portuguese <bonita> x) <=> (pretty x)))
2. ((all x) ((true_of_portuguese <mulher> x) <=> (woman x)))
3. (den <maria> maria)
4. (eng_copula <is_a>)
5. (portuguese_copula <e_uma>)
6. ((all x) ((true_of_eng <pretty> x) <=> (pretty x)))
7. ((all x) ((true_of_eng <woman> x) <=> (woman x)))
8. (name <maria>)
9. (portuguese_noun <mulher>)
10. (eng_noun <woman>)
11. (portuguese_adj <bonita>)
12. (eng_adj <pretty>)
13. ((all w)
  ((all x)
    ((all y)
      ((all z)
        ((all a?)
          ((((name w) &
                      (portuguese_copula x))
             &
             ((portuguese_adj y) &
                                 (portuguese_noun z)))
            =>
            ((true_in_portuguese (concat w
                                         (concat x (concat z y))))
              <=>
              ((den w a?) &
                          ((true_of_portuguese y a?) &
                                                     (true_of_portuguese z a?))))))))))
14. ((all w)
  ((all x)
    ((all y)
      ((all z)
        ((all a?)
          ((((name w) & (eng_copula x)) &
                                        ((eng_adj y) &
                                                     (eng_noun z)))
            =>
            ((true_in_eng (concat w
                                  (concat x (concat y z))))
              <=>
              ((den w a?) &
                          ((true_of_eng y a?) &
                                              (true_of_eng z a?))))))))))
15. ((all x)
    ((all y)
      ((all z)
       (= (concat x (concat y z)) (concat (concat x y) z)))))
