premise: One side effect of Manjushri's draining of the lake was that the snake gods called Nagas, which lived in water, were left with no place to live.
hypothesis: Nagas assisted Manjushri with the draining of the lake. 