A man in an orange shirt is holding an Italian ice.
A man is eating a strawberry Italian ice.
Even though the man is holding an italian ice, he is not necessarily eating it. The italian ice is not necessarily strawberry.
exists e1 s1 x1 x2 x3 x4.(Theme(e1,x4) & Actor(e1,x1) & v_hold(e1) & n_ice(x4) & a_italian(s1) & Theme(s1,x4) & in(x1,x2) & n_shirt(x2) & of(x2,x3) & n_orange(x3) & n_man(x1))
exists e1 s1 x1 x2 x3.(Theme(e1,x2) & Actor(e1,x1) & v_eat(e1) & n_ice(x2) & a_italian(s1) & Theme(s1,x2) & of(x2,x3) & n_strawberry(x3) & n_man(x1))