Two women in t-shirts hike through a park.
The women sit at home watching TV.
The women can't be hiking and sitting at the same time. The women can't be in the park and at home at the same time.
exists e1 x1 x2 x3.(through(e1,x3) & n_park(x3) & Actor(e1,x1) & v_hike(e1) & in(x1,x2) & n_t-shirt(x2) & n_woman(x1) & card_eq_2(x1))
exists e2 e1 x1 x2 x3.(n_woman(x1) & for(e1,e2) & Theme(e2,x3) & Actor(e2,x1) & v_watch(e2) & n_tv(x3) & at(e1,x2) & n_home(x2) & Actor(e1,x1) & v_sit(e1))