iQA: The Intelligent Question Answering System
RTE Version

Pair RTE3-59

T:	John accepted to play football for Washington University.
H:	John attended Washington University.

Expected LFT logic forms:

T:	john_NN(x1) & _other_human_NE(x1) & accept_VB_2(e1,x1,e2) & to_TO(e1,e2) & play_VB_1(e2,x1,x2) & football_NN(x2) & _game_NE(x2) & for_IN(e2,x5) & washington_NN(x3) & university_NN(x4) & nn_NNC(x5,x3,x4) & _university_NE(x5) & LOC_SR(x5,e2)
H:	john_NN(x1) & _other_human_NE(x1) & attend_VB_1(e1,x1,x4) & washington_NN(x2) & university_NN(x3) & nn_NNC(x4,x2,x3) & _university_NE(x4)