Two dresses up girls with their phones out.
Church-going girls text friends before the service
Not all dressed up girls are heading to church. Phones are used for a multitude of reasons besides texting friends.
exists s1 x1 x2 x3 x4.(a_topic(x1) & up(x1,x2) & with(x2,x3) & Theme(s1,x4) & a_out(s1) & (x3 = x4) & n_phone(x3) & of(x3,x1) & n_thing(x1) & n_girl(x2) & n_dress(x1) & card_eq_2(x1))
exists s1 x1 x2 x3 x4.(n_service(x4) & a_topic(x1) & before(x1,x4) & n_friend(x1) & of(x1,x3) & n_text(x3) & of(x1,x2) & n_girl(x2) & a_church-going(s1) & Theme(s1,x1))