iQA: The Intelligent Question Answering System
RTE Version

Pair RTEx-1

T:Abraham is the husband of Sarah. Abraham is the father of Isaac. Isaac is the husband of Rebecca.
H:Abraham is the husband of Rebecca.


Expected LFT logic forms:
T:abraham_NN(x1) & _other_human_NE(x1) & husband_NN(x1) & _kinship_NE(x1) & of_IN(x1,x3) & sarah_NN(x3) & _other_human_NE(x3) & abraham_NN(x4) & _other_human_NE(x4) & father_NN(x4) & _kinship_NE(x4) & of_IN(x4,x6) & isaac_NN(x6) & _other_human_NE(x6) & isaac_NN(x7) & _other_human_NE(x7) & husband_NN(x7) & _kinship_NE(x7) & of_IN(x7,x9) & rebecca_NN(x9) & _other_human_NE(x9)
H:abraham_NN(x1) & _other_human_NE(x1) & husband_NN(x1) & _kinship_NE(x1) & of_IN(x1,x3) & rebecca_NN(x3) & _other_human_NE(x3)