set(hyper_res).
set(factor).
formula_list(usable).
(all x (true_of_eng(<boy> , x) <-> boy(x) )  ).
den(<tom> , tom) .
(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) )  )  )  )  )  ).
(all x (true_of_french(<garcon> , x) <-> boy(x) )  ).
eng_copula(<is_a>) .
name(<tom>) .
french_copula(<est_un>) .
(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) )  )  )  )  )  ).
french_pred(<garcon>) .
eng_pred(<boy>) .
end_of_list.
formula_list(sos).
-(exists x ((true_eng(concat(<tom> , concat(<is_a> , <boy>) )) <-> true_french(x) ) & $ans(x) ) ) .
