All the people sitting on the subway are reading, except for one man who is checking his phone.
A man is hoping to get in contact with someone on his phone.
Not all men checking their phone are trying to get in contact with someone
exists x1 x2 x4 x6 x10.(n_phone(x10) & of(x10,x4) & n_male(x4) & n_subway(x6) & n_people(x4) & n_thing(x2) & -exists e3 x8 x9.(for(x2,x8) & Theme(e3,x10) & Actor(e3,x9) & v_check(e3) & (x8 = x9) & n_man(x8) & card_eq_1(x8)) & n_thing(x1) & all x3.((x3 = x4) -> exists e2 e1 x5 x7.(Theme(e2,x7) & Actor(e2,x3) & v_read(e2) & (x1 = x7) & on(e1,x6) & Actor(e1,x5) & v_sit(e1) & (x3 = x5))))
exists e1 p1 x1 x4.(Topic(e1,p1) & Actor(e1,x1) & v_hope(e1) & exists e2 x2 x3.(in(e2,x2) & with(x2,x3) & on(x3,x4) & n_person(x3) & n_contact(x2) & Actor(e2,x1) & v_get(e2)) & n_phone(x4) & of(x4,x1) & n_male(x1) & n_man(x1))