Two young ladies, one blond talking on the cellphone, one brunette texting, are walking on the summer street.
Two women talking to each other are walking on a street.
If one woman is talking on the phone and the other is texting, the two women are occupied and cannot be talking to each other.
exists e1 e2 p1 s1 x1 x2 x3 x4 x5 x6.(n_street(x4) & of(x4,x5) & n_summer(x5) & n_cellphone(x6) & on(e2,x4) & Actor(e2,x1) & v_walk(e2) & rel(x1,x2) & exists e3 x7 x8.(on(e3,x6) & rel(x6,x7) & n_texting(x7) & of(x7,x8) & n_brunette(x8) & card_eq_1(x7) & Actor(e3,x3) & v_talk(e3)) & Topic(e1,p1) & Actor(e1,x3) & v_blond(e1) & (x2 = x3) & n_thing(x2) & card_eq_1(x2) & n_lady(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 e2 x1 x2 x3.(on(e2,x3) & n_street(x3) & Actor(e2,x1) & v_walk(e2) & all x4.(n_other(x4) -> to(e1,x4)) & Actor(e1,x2) & v_talk(e1) & (x1 = x2) & n_woman(x1) & card_eq_2(x1))