Two construction workers stand outside of their vehicle on the side of the highway.
two construction workers are laying in the highway
One cannot be on the side of the highway and laying in the highway at the same time.
exists e1 x1 x2 x3 x4 x5.(n_highway(x5) & n_side(x4) & of(e1,x3) & on(x3,x4) & of(x4,x5) & n_vehicle(x3) & of(x3,x1) & n_thing(x1) & r_outside(e1) & Actor(e1,x1) & v_stand(e1) & n_worker(x1) & of(x1,x2) & n_construction(x2) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_highway(x3) & in(e1,x3) & Actor(e1,x1) & v_lay(e1) & n_worker(x1) & of(x1,x2) & n_construction(x2) & card_eq_2(x1))