 Since [wine] is the join semi-lattice containing everything that is wine, it contains in particular the sum of the wine. So, given how the semantics is set-up, the truth of The wine is one the table guarantees that of Some wine is on the table.