Highway workers checking on roadwork.
Highway workers are checking on road paving.
Highway workers checking on roadwork does not necessarily mean that they are checking on road paving.
exists e1 x1 x2 x3.(on(e1,x3) & n_roadwork(x3) & Actor(e1,x1) & v_check(e1) & n_worker(x1) & of(x1,x2) & n_highway(x2))
exists e1 x1 x2 x3 x4.(on(e1,x3) & n_paving(x3) & of(x3,x4) & n_road(x4) & Actor(e1,x1) & v_check(e1) & n_worker(x1) & of(x1,x2) & n_highway(x2))