A group of people are watching the fireworks.
People celebrate the fourth of July.
Just because two people are watching fireworks does not mean they are celebrating the fourth of July.
exists e1 x1 x2 x3.(n_firework(x3) & Theme(e1,x3) & Actor(e1,x1) & v_watch(e1) & of(x1,x2) & n_people(x2) & n_group(x1))
exists e1 x1 x2 x3.(n_date(x3) & a_date_month_07(x3) & a_date_month_07(x3) & n_fourth(x2) & Theme(e1,x2) & Actor(e1,x1) & v_celebrate(e1) & of(x2,x3) & n_people(x1))