All the people sitting on the subway are reading, except for one man who is checking his phone.
Every person on the train is standing and talking.
The people are either on the subway or on the train.
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 x2 x4.(n_train(x4) & n_train(x2) & all x3.(n_person(x3) -> exists e2.(Actor(e2,x3) & v_talk(e2) & on(x3,x4))) & all x1.(n_person(x1) -> exists e1.(Actor(e1,x1) & v_stand(e1) & on(x1,x2))))