159_a_wilde_1_1888
The next day the Swallow flew down to the harbour.
arc(r_0159_0001__The_r_0159_0003__day, r_0159_0002__next, attrib5).
arc(r_0159_0006__flew, r_0159_0001__The_r_0159_0003__day, nim2).
arc(r_0159_0006__flew, r_0159_0004__the_r_0159_0005__Swallow, arg0).
arc(r_0159_0006__flew, r_0159_0008__the_r_0159_0009__harbour, r_0159_0007__down_to_clr20).
fof(formula,axiom,
? [R_159_6_FLEW,R_159_4_THE_SWALLOW,R_159_1_THE_DAY,R_159_2_NEXT,R_159_8_THE_HARBOUR] :
( the_Swallow(R_159_4_THE_SWALLOW)
& next(R_159_2_NEXT)
& the_harbour(R_159_8_THE_HARBOUR)
& flew(R_159_6_FLEW,R_159_4_THE_SWALLOW)
& nim2(R_159_6_FLEW,R_159_1_THE_DAY)
& the_day(R_159_1_THE_DAY)
& attrib5(R_159_1_THE_DAY,R_159_2_NEXT)
& down_to_clr20(R_159_6_FLEW,R_159_8_THE_HARBOUR) ) ).
( (IP-MAT (NP-NIM (D The;{the})
(ADJP (ADJS next;{next}))
(N day;{day}))
(NP-SBJ;{SWALLOW} (D the;{the})
(N Swallow;{swallow}))
(VBD;_Ipr_ flew;{fly[down_to]})
(PP-CLR (P-ROLE down_to;{down_to})
(NP (D the;{the})
(N harbour;{harbour})))
(PUNC .))
(ID 159_a_wilde_1_1888))