Two men sit at a bar with Shiner Bock beer.
While drinking the beer they are contemplating the business plan that was given earlier in the day.
Two men could be sitting with beer and discussing anything or nothing, the fact they are sitting at the bar does not imply that they are contemplating the business plan that was given earlier in the day.
exists e1 x1 x2 x3 x4 x5.(at(e1,x2) & with(x2,x3) & n_beer(x3) & (x3 = x5) & ne_per_bock(x5) & (x3 = x4) & ne_per_shiner(x4) & n_bar(x2) & Actor(e1,x1) & v_sit(e1) & n_man(x1) & card_eq_2(x1))
exists e3 e1 e2 x1 x2 x3 x4 x5 x6.(n_day(x6) & n_plan(x3) & of(x3,x4) & n_business(x4) & n_thing(x2) & n_beer(x2) & while(e3,e1) & Theme(e3,x3) & Actor(e3,x2) & v_contemplate(e3) & in(e2,x6) & r_earlier(e2) & Theme(e2,x5) & v_give(e2) & (x3 = x5) & Theme(e1,x2) & Actor(e1,x1) & v_drink(e1) & n_thing(x1))