A group of women laugh as they walk down the street.
The street is paved
The street the women walk down is not implied to being paved.
exists e1 p1 x1 x2 x3.(n_street(x3) & exists e2.(down(e2,x3) & Actor(e2,x1) & v_walk(e2)) & n_thing(x1) & as(e1,p1) & Actor(e1,x1) & v_laugh(e1) & of(x1,x2) & n_woman(x2) & n_group(x1))
exists e1 x1.(n_street(x1) & Theme(e1,x1) & v_pave(e1))