115_a_wilde_1_1888
When day broke he flew down to the river and had a bath.
( (IP-MAT (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
(NP-SBJ (N day;{day}))
(VBD;_I_ broke;{break})))
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(ILYR (ILYR (VBD;_Ipr_ flew;{fly[down_to]})
(PP-CLR (P-ROLE down_to;{down_to})
(NP (D the;{the})
(N river;{river}))))
(CONJP (CONJ and;{and})
(ILYR (HVD;_Tn_ had;{have})
(NP-OB1 (D a;{a})
(N bath;{bath})))))
(PUNC .))
(ID 115_a_wilde_1_1888))
arc(r_0115_0003__broke,r_0115_0001__When,nim).
arc(r_0115_0003__broke,r_0115_0002__day,arg0).
arc(r_0115_0005__flew_r_0115_0006__down_to,r_0115_0001__When,nim).
arc(r_0115_0005__flew_r_0115_0006__down_to,r_0115_0004__he,arg0).
arc(r_0115_0005__flew_r_0115_0006__down_to,r_0115_0007__the_r_0115_0008__river,arg1).
arc(r_0115_0009__and,r_0115_0005__flew_r_0115_0006__down_to,conj1).
arc(r_0115_0009__and,r_0115_0010__had,conj2).
arc(r_0115_0010__had,r_0115_0001__When,nim).
arc(r_0115_0010__had,r_0115_0004__he,arg0).
arc(r_0115_0010__had,r_0115_0011__a_r_0115_0012__bath,arg1).
fof(formula,axiom,
? [R_0115_0001__WHEN,R_0115_0002__DAY,R_0115_0003__BROKE,R_0115_0004__HE,R_0115_0007__THE_R_0115_0008__RIVER,R_0115_0005__FLEW_R_0115_0006__DOWN_TO,R_0115_0011__A_R_0115_0012__BATH,R_0115_0010__HAD,R_0115_0009__AND] :
( r_0115_0001__When(R_0115_0001__WHEN)
& r_0115_0002__day(R_0115_0002__DAY)
& r_0115_0004__he(R_0115_0004__HE)
& r_0115_0007__the_r_0115_0008__river(R_0115_0007__THE_R_0115_0008__RIVER)
& r_0115_0011__a_r_0115_0012__bath(R_0115_0011__A_R_0115_0012__BATH)
& r_0115_0009__and(R_0115_0009__AND)
& has_conj2(R_0115_0009__AND,R_0115_0010__HAD)
& r_0115_0010__had(R_0115_0010__HAD)
& has_arg1(R_0115_0010__HAD,R_0115_0011__A_R_0115_0012__BATH)
& has_arg0(R_0115_0010__HAD,R_0115_0004__HE)
& has_nim(R_0115_0010__HAD,R_0115_0001__WHEN)
& has_conj1(R_0115_0009__AND,R_0115_0005__FLEW_R_0115_0006__DOWN_TO)
& r_0115_0005__flew_r_0115_0006__down_to(R_0115_0005__FLEW_R_0115_0006__DOWN_TO)
& has_arg1(R_0115_0005__FLEW_R_0115_0006__DOWN_TO,R_0115_0007__THE_R_0115_0008__RIVER)
& has_arg0(R_0115_0005__FLEW_R_0115_0006__DOWN_TO,R_0115_0004__HE)
& has_nim(R_0115_0005__FLEW_R_0115_0006__DOWN_TO,R_0115_0001__WHEN)
& r_0115_0003__broke(R_0115_0003__BROKE)
& has_arg0(R_0115_0003__BROKE,R_0115_0002__DAY)
& has_nim(R_0115_0003__BROKE,R_0115_0001__WHEN) ) ).