A group of men are gathered in the forest.
All of the men are outdoors.
If people are in the forest they cannot be indoors, so they must be outdoors. Forests cannot be indoors.
exists e1 x1 x2 x3.(n_forest(x3) & in(e1,x3) & Theme(e1,x1) & v_gather(e1) & of(x1,x2) & n_man(x2) & n_group(x1))
exists x2.(n_man(x2) & all x1.(n_thing(x1) -> exists p1.(exists x3.((x1 = x3) & n_outdoors(x3)) & of(x1,x2))))