A man in a Las Vegas t-shirt smiles while meat is being cooked on a grill in the background.
a man is happy while meat is on the grill
A man can be happy when grill meat.
(x)
exists p1 s1 x1 x3.(n_grill(x3) & exists p2 x2.(on(x2,x3) & n_meat(x2)) & while(s1,p1) & Theme(s1,x1) & a_happy(s1) & n_man(x1))