(S (S (SBAR (WHADVP (WRB When)) (S (BASENP (NN water)) (VP (VBZ freezes)))) (COMMA ,) (S (BASENP (DT the) (NN salt)) (VP (VBZ is) (VP (VP (VBN squeezed) (PRT (RP out))) (COMMA ,) (S (VP (VP (VBG leaving) (BASENP (JJ pure) (NN water) (NN ice))) (ADVP (RB behind)))))))) (PERIOD .))