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_0159_0002__NEXT,R_0159_0001__THE_R_0159_0003__DAY,R_0159_0004__THE_R_0159_0005__SWALLOW,R_0159_0008__THE_R_0159_0009__HARBOUR,R_0159_0006__FLEW] :
( r_0159_0002__next(R_0159_0002__NEXT)
& r_0159_0004__the_r_0159_0005__Swallow(R_0159_0004__THE_R_0159_0005__SWALLOW)
& r_0159_0008__the_r_0159_0009__harbour(R_0159_0008__THE_R_0159_0009__HARBOUR)
& r_0159_0006__flew(R_0159_0006__FLEW)
& has_r_0159_0007__down_to_clr20(R_0159_0006__FLEW,R_0159_0008__THE_R_0159_0009__HARBOUR)
& has_arg0(R_0159_0006__FLEW,R_0159_0004__THE_R_0159_0005__SWALLOW)
& has_nim2(R_0159_0006__FLEW,R_0159_0001__THE_R_0159_0003__DAY)
& r_0159_0001__The_r_0159_0003__day(R_0159_0001__THE_R_0159_0003__DAY)
& has_attrib5(R_0159_0001__THE_R_0159_0003__DAY,R_0159_0002__NEXT) ) ).
( (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))