A woman is sitting in the train.
The woman is inside the train.
Since the woman in sitting in the train, it implies that the woman is inside of the train.
exists e1 x1 x2.(n_train(x2) & in(e1,x2) & Actor(e1,x1) & v_sit(e1) & n_woman(x1))
exists p1 x1 x2.(n_train(x2) & n_woman(x1) & inside(x1,x2))