A large yellow construction vehicle is on a street corner surrounded by blue and red barricades.
A large vehicle is in the shop, being worked on.
The construction vehicle cannot be in two places at the same time.
exists p1 s1 s2 x1 x2.(exists e1 s3 s4 x3 x4 x5 x6.(on(x1,x3) & Actor(e1,x6) & n_barricade(x6) & a_red(s4) & Theme(s4,x6) & a_blue(s3) & Theme(s3,x6) & Theme(e1,x5) & v_surround(e1) & (x3 = x5) & n_corner(x3) & of(x3,x4) & n_street(x4)) & n_vehicle(x1) & of(x1,x2) & n_construction(x2) & a_yellow(s2) & Theme(s2,x1) & a_large(s1) & Theme(s1,x1))
exists p1 s1 x1 x2.(n_shop(x2) & exists e1 s2 x3.(in(x1,x2) & a_on(s2) & Manner(e1,s2) & Theme(e1,x3) & v_work(e1) & (x2 = x3)) & n_vehicle(x1) & a_large(s1) & Theme(s1,x1))