A young boy wearing a gray shirt eats pasta.
The boy is eating spaghetti with sauce and meatballs.
Pasta is not always spaghetti, and does not always contain sauce and meatballs.
exists e1 e2 s1 s2 x1 x2 x3 x4.(Theme(e2,x4) & Actor(e2,x1) & v_eat(e2) & n_pasta(x4) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_shirt(x3) & a_gray(s2) & Theme(s2,x3) & (x1 = x2) & n_boy(x1) & a_young(s1) & Theme(s1,x1))
exists e1 x1 x2 x3 x4 x5.(n_boy(x1) & Theme(e1,x2) & Actor(e1,x1) & v_eat(e1) & subset_of(x5,x2) & n_meatball(x5) & subset_of(x3,x2) & with(x3,x4) & n_sauce(x4) & n_spaghetti(x3))