(S (S (BASENP (DT A) (JJ successful) (NN launch)) (VP (MD would) (VP (VB have) (VP (VBN helped) (S (BASENP (NNP South) (NNP Korea)) (VP (TO to) (VP (VP (VB become) (BASENP (DT a) (NN player))) (PP (IN in) (NP (BASENP (JJ commercial) (NN space) (NNS launches)) (COMMA ,) (NP (BASENP (DT an) (NN industry)) (VP (VBN valued) (PP (IN at) (BASENP (QP (RB around) (DOLLAR US$) (NN 250) (NN billion))))))))))))))) (PERIOD .))