The man holds a drink and uses his cellphone.
the man has an i6
You can't infer that he owns an i6 as opposed to any other cell phone.
exists e1 e2 x1 x2 x3.(n_cellphone(x3) & of(x3,x1) & n_male(x1) & n_man(x1) & Theme(e2,x3) & Actor(e2,x1) & v_use(e2) & Theme(e1,x2) & Actor(e1,x1) & v_hold(e1) & n_drink(x2))
exists e1 x1 x2.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_i6(x2))