Two young girls hug.
The girls are friends.
Two young girls hug does not imply that they are friends
exists s1 s2 x1 x2.(n_hug(x1) & a_.(s2) & Theme(s2,x1) & of(x1,x2) & n_girl(x2) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1) & a_topic(x1))
exists p1 x1.(n_girl(x1) & exists x2.((x1 = x2) & n_friend(x2)))