iQA: The Intelligent Question Answering System -- RTE Pair RTE3t-53

iQA: The Intelligent Question Answering System
RTE Version

Pair RTE3t-53

T:	In 1929 he founded the Institute of Mathematics ( Istituto di Matematica ) at the University of Milan, along with Gian Antonio Maggi and Giulio Vivanti.
H:	The Institute of Mathematics is based in Milan.

Expected LFT logic forms:

In_IN(e1,x1) & 1929_NN(x1) & _date_NE(x1) & he_PRP(x20) & found_VB_1(e1,x20,x5) & institute_NN(x2) & of_NN(x3) & mathematics_NN(x4) & nn_NNC(x5,x2,x3,x4) & _organization_NE(x5) & Istituto_NN(x20) & _othername_NE(x20) & di_NN(x7) & Matematica_NN(x8) & _othername_NE(x8) & at_IN(e1,x12) & university_NN(x9) & of_NN(x10) & milan_NN(x11) & nn_NNC(x12,x9,x10,x11) & _university_NE(x12) & along_IN(x12,x22) & with_IN(x12,x21) & Gian_NN(x13) & Antonio_NN(x14) & Maggi_NN(x15) & nn_NNC(x16,x13,x14,x15) & _human_NE(x16) & Giulio_NN(x17) & Vivanti_NN(x18) & nn_NNC(x19,x17,x18) & _othername_NE(x19) & and_CC(x21,x16,x19) & AGT_SR(x20,e1) & THM_SR(x5,e1) & TMP_SR(x1,e1) & TMP_SR(x12,e1)

institute_NN(x1) & of_NN(x2) & mathematics_NN(x3) & nn_NNC(x4,x1,x2,x3) & _organization_NE(x4) & base_VB_1(e1,x6,x4) & in_IN(e1,x5) & milan_NN(x5) & _town_NE(x5) & LOC_SR(x5,e1)