The road is paved with grey bricks.
The grey bricks are set in an interlocking pattern.
Jus because the road has bricks, does not mean it is in an interlocking pattern.
exists e1 s1 x1 x2.(n_road(x1) & with(e1,x2) & n_brick(x2) & a_grey(s1) & Theme(s1,x2) & Theme(e1,x1) & v_pave(e1))
exists e1 s1 x1 x2 x3.(n_brick(x1) & of(x1,x2) & n_grey(x2) & in(e1,x3) & n_pattern(x3) & a_interlocking(s1) & Theme(s1,x3) & Theme(e1,x1) & v_set(e1))