text1: Anwar el-Sadat succeeded Nasser in 1970.
feat_premise_binary_parse: ( ( Anwar el-Sadat ) ( ( succeeded ( Nasser ( in 1970 ) ) ) . ) )
feat_premise_parse: (ROOT (S (NP (NNP Anwar) (NNP el-Sadat)) (VP (VBD succeeded) (NP (NP (NNP Nasser)) (PP (IN in) (NP (CD 1970))))) (. .)))
text2: Nasser did step down, but it was not for the man named Anwar.
feat_hypothesis_binary_parse: ( ( ( ( ( Nasser ( ( did step ) down ) ) , ) but ) ( it ( ( was not ) ( for ( ( the man ) ( named Anwar ) ) ) ) ) ) . )
feat_hypothesis_parse: (ROOT (S (S (NP (NNP Nasser)) (VP (VBD did) (NP (NN step)) (PRT (RP down)))) (, ,) (CC but) (S (NP (PRP it)) (VP (VBD was) (RB not) (PP (IN for) (NP (NP (DT the) (NN man)) (VP (VBN named) (NP (NNP Anwar))))))) (. .)))