The wood used for the seat portion of the bench is comprised of different colored slats.
The different slats are from different types of wood.
Different colored slats shouldn't always be considered different types of wood.
exists e4 e2 e1 e3 x1 x2 x3 x4 x5 x6 x7.(n_slat(x7) & Theme(e4,x7) & v_color(e4) & n_bench(x5) & n_portion(x3) & of(x3,x4) & n_seat(x4) & n_wood(x1) & of(e2,x6) & -(x6 = x7) & n_slat(x6) & Theme(e3,x6) & v_color(e3) & Theme(e2,x1) & v_comprise(e2) & for(e1,x3) & of(x3,x5) & Theme(e1,x2) & v_use(e1) & (x1 = x2))
exists p1 x1 x3.(n_type(x3) & -(x1 = x1) & n_slat(x1) & exists x2 x4.(from(x1,x2) & of(x2,x4) & n_wood(x4) & -(x2 = x3) & n_type(x2)))