Three people wearing shorts walk on rocks along the side of a stream in the woods.
three people are hiking in the forest
Walk on rocks implies hiking, and the woods implies the forest.
exists e2 e1 x1 x2 x3 x4 x5 x6 x7 x8.(n_wood(x8) & n_side(x6) & a_topic(x1) & Theme(e2,x3) & Actor(e2,x2) & v_wear(e2) & along(e1,x6) & of(x6,x7) & in(x7,x8) & n_stream(x7) & on(e1,x5) & n_rock(x5) & Theme(e1,x4) & v_walk(e1) & (x3 = x4) & n_shorts(x3) & (x1 = x2) & n_people(x1) & card_eq_3(x1))
exists e1 x1 x2.(n_forest(x2) & in(e1,x2) & Actor(e1,x1) & v_hike(e1) & n_people(x1) & card_eq_3(x1))