7_a_wilde_2_1888
One day the Giant came back.
arc(r_0007_0005__came_r_0007_0006__back, r_0007_0001__One_r_0007_0002__day, nim2).
arc(r_0007_0005__came_r_0007_0006__back, r_0007_0003__the_r_0007_0004__Giant, arg0).
fof(formula,axiom,
? [R_7_5_CAME_BACK,R_7_3_THE_GIANT,R_7_1_ONE_DAY] :
( the_Giant(R_7_3_THE_GIANT)
& one_day(R_7_1_ONE_DAY)
& came_back(R_7_5_CAME_BACK,R_7_3_THE_GIANT)
& nim2(R_7_5_CAME_BACK,R_7_1_ONE_DAY) ) ).
( (IP-MAT (NP-NIM (NUM One;{one})
(N day;{day}))
(NP-SBJ;{GIANT} (D the;{the})
(N Giant;{giant}))
(VBD;_phr_Vp_ came;{come[back]})
(RP back;{back})
(PUNC .))
(ID 7_a_wilde_2_1888))