two young women are both looking at their cellphones
some women are eating
The woman cannot be looking at their cellphones and eating at the same time
exists e1 s1 s2 x1 x2.(a_both(s2) & Manner(e1,s2) & at(e1,x2) & n_cellphone(x2) & of(x2,x1) & n_thing(x1) & Actor(e1,x1) & v_look(e1) & n_woman(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1.(Actor(e1,x1) & v_eat(e1) & n_woman(x1))