Two adults on cellphones downtown.
The two adults have their cell phones.
We can deduce from sentence one that because the adults are on their phones, there also must be two of them on their cell phones.
exists x1 x2 x3.(a_topic(x1) & on(x1,x2) & n_downtown(x2) & of(x2,x3) & n_cellphone(x3) & n_adult(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_phone(x2) & of(x2,x3) & n_cell(x3) & of(x2,x1) & n_thing(x1) & n_adult(x1) & card_eq_2(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1))