There is a person walking on the street in between a red and yellow car with a bag and a basket full of items.
The person walking on the street is stuck between two cars.
The person is not necessarily stuck between the red and yellow cars.
exists p1 x1 x4.(n_street(x4) & exists s1 s2 s3 x2 x3 x5 x6 x7 x8 x9 x10 x11.((x1 = x2) & between(x5,x6) & subset_of(x9,x6) & of(x9,x11) & n_item(x11) & Theme(s3,x10) & a_full(s3) & (x9 = x10) & n_basket(x9) & subset_of(x7,x6) & with(x7,x8) & n_bag(x8) & n_car(x7) & a_yellow(s2) & Theme(s2,x7) & a_red(s1) & Theme(s1,x7) & in(x2,x5) & n_thing(x5) & on(x2,x4) & Time(x2,x3) & n_walking(x3) & n_person(x2)))
exists e1 x1 x2 x3 x4.(n_street(x3) & n_person(x1) & between(e1,x4) & n_car(x4) & card_eq_2(x4) & Theme(e1,x1) & v_stick(e1) & on(x1,x3) & Time(x1,x2) & n_walking(x2))