The road is paved with grey bricks.
The road is paved with gold.
The road can't be paved with grey bricks and be paved with gold.
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 x1 x2.(n_road(x1) & with(e1,x2) & n_gold(x2) & Theme(e1,x1) & v_pave(e1))