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

iQA: The Intelligent Question Answering System
RTE Version

Pair RTE3t-49

T:	Brigham Young University's Center is situated on Mount Scopus in East Jerusalem.
H:	Brigham Young University's Center is located in Jerusalem.

Expected LFT logic forms:

(exists x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 e1 (Brigham_NN(x1) & young_NN(x2) & university_NN(x3) & nn_NNC(x4,x1,x2,x3) & _university_NE(x4) & _s_POS(x5,x12) & center_NN(x5) & _othername_NE(x5) & situate_VB_1(e1,x5,x13) & on_IN(e1,x8) & mount_NN(x6) & Scopus_NN(x7) & nn_NNC(x8,x6,x7) & _otherloc_NE(x8) & in_IN(x8,x11) & east_NN(x9) & jerusalem_NN(x10) & nn_NNC(x11,x9,x10) & _othername_NE(x11) & THM_SR(x5,e1) & THM_SR(x8,e1)

(exists x1 x2 x3 x4 x5 x6 x7 x8 e1 (Brigham_NN(x1) & young_NN(x2) & university_NN(x3) & nn_NNC(x4,x1,x2,x3) & _university_NE(x4) & _s_POS(x5,x7) & center_NN(x5) & _othername_NE(x5) & locate_VB_2(e1,x5,x8) & in_IN(e1,x6) & jerusalem_NN(x6) & _othername_NE(x6) & AGT_SR(x6,e1) & THM_SR(x5,e1)