159_a_wilde_1_1888
The next day the Swallow flew down to 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))
arc(r_0159_0001__The_r_0159_0003__day,r_0159_0002__next,attrib).
arc(r_0159_0006__flew_r_0159_0007__down_to,r_0159_0001__The_r_0159_0003__day,nim).
arc(r_0159_0006__flew_r_0159_0007__down_to,r_0159_0004__the_r_0159_0005__Swallow,arg0).
arc(r_0159_0006__flew_r_0159_0007__down_to,r_0159_0008__the_r_0159_0009__harbour,arg1).
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_0007__DOWN_TO] :
( 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_0007__down_to(R_0159_0006__FLEW_R_0159_0007__DOWN_TO)
& has_arg1(R_0159_0006__FLEW_R_0159_0007__DOWN_TO,R_0159_0008__THE_R_0159_0009__HARBOUR)
& has_arg0(R_0159_0006__FLEW_R_0159_0007__DOWN_TO,R_0159_0004__THE_R_0159_0005__SWALLOW)
& has_nim(R_0159_0006__FLEW_R_0159_0007__DOWN_TO,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_attrib(R_0159_0001__THE_R_0159_0003__DAY,R_0159_0002__NEXT) ) ).