Three young girls chapping and texting on a cellphone.
Some friends are enjoying each others company.
Just because three young girls are texting does not mean they are friends or enjoying each others company.
exists e1 e2 s1 s2 x1 x2 x3 x4.(on(e2,x4) & n_cellphone(x4) & Actor(e2,x3) & v_text(e2) & n_girl(x3) & a_young(s2) & Theme(s2,x3) & card_eq_3(x3) & Theme(e1,x2) & Actor(e1,x1) & v_chap(e1) & n_cellphone(x2) & n_girl(x1) & a_young(s1) & Theme(s1,x1) & card_eq_3(x1))
exists x2.(n_person(x2) & all x1.((-(x1 = x2) & n_person(x1)) -> exists e1 x3 x4.(Time(e1,x1) & Theme(e1,x4) & Actor(e1,x3) & v_enjoy(e1) & n_company(x4) & n_friend(x3))))