Two teenage girls are texting in the park.
The two girls are texting each other.
Two girls texting does not necessarily mean they are texting each other.
exists e1 s1 x1 x2.(n_park(x2) & in(e1,x2) & Actor(e1,x1) & v_text(e1) & n_girl(x1) & a_teenage(s1) & Theme(s1,x1) & card_eq_2(x1))
exists x1.(n_girl(x1) & card_eq_2(x1) & all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_text(e1))))