A happy family at thanksgiving.
A group of people together during a holiday.
Thanksgiving is a holiday.
exists s1 x1 x2.(a_topic(x1) & at(x1,x2) & n_thanksgive(x2) & n_family(x1) & a_happy(s1) & Theme(s1,x1))
exists s1 x1 x2 x3.(during(s1,x3) & n_holiday(x3) & Theme(s1,x1) & a_together(s1) & of(x1,x2) & n_people(x2) & n_group(x1))