A red colored diner features dark red chairs.
All of the chairs and tables in the diner are red.
The diner features dark red chairs, but that does not necessarily mean all of the chairs are red. The tables could either be red or another color.
exists e1 s1 s2 s3 x1 x2 x3 x4.(a_topic(x1) & Theme(s3,x4) & Actor(s3,x3) & a_dark(s3) & n_chair(x4) & a_red(s2) & Theme(s2,x4) & (x1 = x3) & n_feature(x1) & of(x1,x2) & n_diner(x2) & Theme(e1,x1) & v_color(e1) & a_red(s1) & Theme(s1,x1))
exists s1 x1 x2 x3 x5.(n_diner(x3) & n_chair(x5) & Theme(s1,x1) & a_red(s1) & in(x1,x3) & subset_of(x2,x1) & n_table(x2) & all x4.(n_thing(x4) -> (subset_of(x4,x1) & of(x4,x5))))