Patrons enjoy drinks at an outdoor bar.
People drink all night
People may enjoy drink at an outdoor bar but that does not mean they do it all night.
exists e1 s1 x1 x2 x3.(ne_nam_patrons(x1) & at(e1,x3) & n_bar(x3) & a_outdoor(s1) & Theme(s1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_enjoy(e1) & n_drink(x2))
exists x1.(all x2.(n_night(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_drink(e1))) & n_people(x1))