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

iQA: The Intelligent Question Answering System
RTE Version

Pair RTE3t-412

T:	The Cassini Spacecraft has taken images from July 22 2006 that show rivers and lakes present on Saturn's moon Titan.
H:	The Cassini Spacecraft reached Titan.

Expected LFT logic forms:

Cassini_NN(x1) & spacecraft_NN(x2) & nn_NNC(x3,x1,x2) & _othername_NE(x3) & take_VB_1(e1,x3,x4) & image_NN_1(x4) & from_IN(e1,x16) & july_NN(x5) & 22_NN(x6) & 2006_NN(x7) & nn_NNC(x8,x5,x6,x7) & _date_NE(x8) & that_IN(x16,x17) & show_NN_2(x9) & river_NN_1(x10) & nn_NNC(x11,x9,x10) & and_CC(x16,x11,x18) & lake_NN_1(x19) & present_JJ_1(x15,x20) & on_IN(x15,x14) & saturn_NN(x12) & _planet_NE(x12) & _s_POS(x12,x13) & moon_NN_1(x13) & titan_NN(x14) & _moon_NE(x14) & LOC_SR(x15,x16) & LOC_SR(x16,e1) & THM_SR(x4,e1) & TMP_SR(x15,x16)

Cassini_NN(x1) & spacecraft_NN(x2) & nn_NNC(x3,x1,x2) & _othername_NE(x3) & reach_VB_1(e1,x3,x4) & titan_NN(x4) & _moon_NE(x4)