Two women on the subway complete enthralled with their gadgets.
Two women use facebook on the subway.
Not all gadgets have capacity to use facebook.
exists e1 s1 x1 x2 x3 x4.(n_gadget(x4) & of(x4,x2) & n_thing(x2) & n_subway(x2) & with(e1,x4) & Theme(e1,x1) & v_enthral(e1) & on(x1,x2) & Theme(s1,x3) & a_complete(s1) & (x2 = x3) & n_woman(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_subway(x3) & on(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_use(e1) & n_facebook(x2) & n_woman(x1) & card_eq_2(x1))