All the people sitting on the subway are reading, except for one man who is checking his phone.
There is one man looking at his phone on the subway.
man who is checking his phone means man looking at his phone on the subway
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 e1 e2 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 p1 x1 x5.(n_subway(x5) & exists e1 x2 x3 x4.((x1 = x2) & at(e1,x4) & on(x4,x5) & n_phone(x4) & of(x4,x2) & n_male(x2) & Actor(e1,x3) & v_look(e1) & (x2 = x3) & n_man(x2) & card_eq_1(x2)))