A man is on the ground beside a blue vehicle with it's tire removed.
A man is hot-wiring a vehicle.
He would not be hot-wiring if the tire was removed.
exists p1 s1 x1 x2 x3.(n_thing(x3) & n_ground(x3) & r_tire(s1) & Theme(s1,x1) & a_remove(s1) & exists s2 x4.(on(x2,x3) & beside(x3,x4) & with(x4,x3) & n_vehicle(x4) & a_blue(s2) & Theme(s2,x4)) & (x1 = x2) & n_man(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_hot-wire(e1) & n_vehicle(x2) & n_man(x1))