Two teenage girls are texting in the park.
There is no cell service in the park.
Texting is not possible when there is no cell service.
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 p1 x1 x4.(n_park(x4) & -exists x2 x3.((x1 = x2) & in(x2,x4) & n_service(x2) & of(x2,x3) & n_cell(x3)))