The man is grilling hotdogs and hamburgers in the park.
The man is grilling only vegetables.
If the man is grilling hotdogs and hamburgers, he cannot also be grilling only vegetables.
exists e1 x1 x2 x3 x4 x5.(n_park(x5) & n_man(x1) & in(e1,x5) & Theme(e1,x2) & Actor(e1,x1) & v_grill(e1) & subset_of(x4,x2) & n_hamburger(x4) & subset_of(x3,x2) & n_hotdog(x3))
exists e1 x1 x2.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_grill(e1) & all x3.(n_vegetable(x3) -> (x2 = x3)) & n_vegetable(x2))