A large crowd of people stand outside in front of the entrance to a Metro station.
all church members are travelling
A large crowd is standing outside the Metro station but that doesn't mean that they are all church members. The crowd of people isn't necessarily travelling.
exists e1 s1 x1 x2 x3 x4 x5 x6.(n_entrance(x4) & in(e1,x3) & of(x3,x4) & to(x4,x5) & n_station(x5) & (x5 = x6) & ne_org_metro(x6) & n_front(x3) & r_outside(e1) & Actor(e1,x1) & v_stand(e1) & of(x1,x2) & n_people(x2) & n_crowd(x1) & a_large(s1) & Theme(s1,x1))
all x1 x2.((n_member(x1) & of(x1,x2) & n_church(x2)) -> exists e1.(Actor(e1,x1) & v_travel(e1)))