(SINV (SINV (QT (DQL ``) (QTC (S (BASENP (PRP We)) (VP (VBP imagine) (SBAR (IN that) (S (S (PP (IN between) (NP (BASENP (DT the) (NN ice)) (CC and) (BASENP (DT the) (NN ice) (NN core)))) (S (NP (EX there)) (VP (VBZ is) (NP (BASENP (DT an) (NN ocean)) (PP (IN of) (BASENP (NN depth))))))) (CC and) (S (BASENP (DT this)) (VP (VBZ is) (VP (ADVP (RB somehow)) (VP (VBN connected) (PP (TO to) (BASENP (DT the) (NN surface) (NN reservoir))))))))))) (COMMA ,)) (DQR '')) (SINV (VP (VBD added)) (BASENP (NNP Postberg)))) (PERIOD .))