On semi-linear degenerate backward stochastic partial differential equations · Study