Two men barbecuing at a beach.
Two men are grilling steaks
Nothing about the fact that two men are barbecuing infers that the men are grilling steaks or any other type of food.
exists e1 x1 x2 x3.(a_topic(x1) & at(e1,x3) & n_beach(x3) & Actor(e1,x2) & v_barbecue(e1) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_grill(e1) & n_steak(x2) & n_man(x1) & card_eq_2(x1))