The double sink is freshly polished chrome.
some sinks are clean
The double sink freshly polished chrome does not necessarily mean some sinks are clean.
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.(Theme(s1,x1) & a_clean(s1) & n_sink(x1))