text1: To their good fortune, he's proving them right.
feat_premise_binary_parse: ( ( To ( their ( good fortune ) ) ) ( , ( he ( ( 's ( proving ( them right ) ) ) . ) ) ) )
feat_premise_parse: (ROOT (S (PP (TO To) (NP (PRP$ their) (JJ good) (NN fortune))) (, ,) (NP (PRP he)) (VP (VBZ 's) (VP (VBG proving) (S (NP (PRP them)) (ADJP (RB right))))) (. .)))
text2: He is showing that they were correct.
feat_hypothesis_binary_parse: ( He ( ( is ( showing ( that ( they ( were correct ) ) ) ) ) . ) )
feat_hypothesis_parse: (ROOT (S (NP (PRP He)) (VP (VBZ is) (VP (VBG showing) (SBAR (IN that) (S (NP (PRP they)) (VP (VBD were) (ADJP (JJ correct))))))) (. .)))