Two skiers are making their way through woodland.
The skiers are asleep at the lodge.
The skiers are either making their way through woodland, or they are asleep at the lodge.
exists e1 x1 x2 x3.(through(e1,x3) & n_woodland(x3) & Theme(e1,x2) & Actor(e1,x1) & v_make(e1) & n_way(x2) & of(x2,x1) & n_thing(x1) & n_skier(x1) & card_eq_2(x1))
exists s1 x1 x2.(n_lodge(x2) & n_skier(x1) & at(s1,x2) & Theme(s1,x1) & a_asleep(s1))