Three people are being silly in the woods.
three people are in the woods
If there are three people being silly they can be in the woods.
exists s1 x1 x2.(n_wood(x2) & in(s1,x2) & Theme(s1,x1) & a_silly(s1) & n_people(x1) & card_eq_3(x1))
exists p1 x1 x2.(n_wood(x2) & in(x1,x2) & n_people(x1) & card_eq_3(x1))