A man is oblivious to the crowds behind him at the Pennsylvania train station.
People are in a taxi.
People cannot be in a taxi and a train.
exists s1 x1 x2 x3 x4 x5.(n_station(x3) & of(x3,x5) & n_train(x5) & (x3 = x4) & ne_geo_pennsylvania(x4) & n_crowd(x2) & at(s1,x3) & to(s1,x2) & behind(x2,x1) & n_male(x1) & Theme(s1,x1) & a_oblivious(s1) & n_man(x1))
exists p1 x1.(exists x2.(in(x1,x2) & n_taxi(x2)) & n_people(x1))