A man pushes a catering cart full of food across a crosswalk in a city.
The cart is filled with antimatter particles and laser cats
The cart is either full of food or filled with antimatter particles and laser cats, not both.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7.(Theme(e1,x2) & Actor(e1,x1) & v_push(e1) & of(s1,x5) & in(x5,x7) & n_city(x7) & across(x5,x6) & n_crosswalk(x6) & n_food(x5) & Theme(s1,x4) & a_full(s1) & (x2 = x4) & n_cart(x2) & of(x2,x3) & n_catering(x3) & n_man(x1))
exists e1 x1 x2 x3 x4 x5 x6.(n_cart(x1) & with(e1,x2) & subset_of(x5,x2) & n_cat(x5) & of(x5,x6) & n_laser(x6) & subset_of(x3,x2) & n_particle(x3) & of(x3,x4) & n_antimatter(x4) & Theme(e1,x1) & v_fill(e1))