Two men in a tennis court in a city are standing on either side of the net talking to each other.
The men are friends.
Just because the two men are talking to each other, does not imply that they are friends.
exists e1 x1 x2 x3 x4 x6.(n_net(x6) & all x5.(n_side(x5) -> exists e2.(for(e1,e2) & all x7.(n_other(x7) -> to(e2,x7)) & Actor(e2,x1) & v_talk(e2) & on(e1,x5) & of(x5,x6))) & Actor(e1,x1) & v_stand(e1) & in(x1,x2) & in(x2,x4) & n_city(x4) & n_court(x2) & of(x2,x3) & n_tennis(x3) & n_man(x1) & card_eq_2(x1))
exists p1 x1.(n_man(x1) & exists x2.((x1 = x2) & n_friend(x2)))