The double sink is freshly polished chrome.
The sink is shiny.
We don't necessarily know if the sink is shiny.
exists s1 s2 x1 x2.(n_sink(x1) & a_double(s1) & Theme(s1,x1) & r_freshly(s2) & Time(s2,x2) & n_chrome(x2) & Theme(s2,x1) & a_polished(s2))
exists s1 x1.(n_sink(x1) & Theme(s1,x1) & a_shiny(s1))