A man a blue shirt cooking food on a grill.
A human cooking
man cooking food is same as human cooking
all x3 s1 x1 x2.((n_food(x1) & of(x1,x3) & n_cooking(x3) & of(x1,x2) & n_shirt(x2) & a_blue(s1) & Theme(s1,x1)) -> exists x4 x5.(a_topic(x4) & on(x4,x5) & n_grill(x5) & for(x4,x1) & n_man(x4)))
exists s1 x1.(a_topic(x1) & n_cooking(x1) & a_human(s1) & Theme(s1,x1))