115_a_wilde_1_1888
When day broke he flew down to the river and had a bath.
arc(r_0115_0003__broke, r_0115_0002__day, arg0).
arc(r_0115_0003__broke, z_000_115_a_wilde_1_1888_2, nim4).
arc(r_0115_0005__flew, r_0115_0004__he, arg0).
arc(r_0115_0005__flew, r_0115_0007__the_r_0115_0008__river, r_0115_0006__down_to_clr22).
arc(r_0115_0005__flew, z_000_115_a_wilde_1_1888_2, nim2).
arc(r_0115_0009__and, r_0115_0005__flew, conj1).
arc(r_0115_0009__and, r_0115_0010__had, conj2).
arc(r_0115_0010__had, r_0115_0004__he, arg0).
arc(r_0115_0010__had, r_0115_0011__a_r_0115_0012__bath, arg1).
arc(r_0115_0010__had, z_000_115_a_wilde_1_1888_2, nim2).
fof(formula,axiom,
? [R_115_3_BROKE,R_115_2_DAY,R_115_9_AND,R_115_5_FLEW,R_115_7_THE_RIVER,R_115_10_HAD,R_115_4_HE,R_115_11_A_BATH,Z_115_A_WILDE_1_1888_2] :
( day(R_115_2_DAY)
& the_river(R_115_7_THE_RIVER)
& he(R_115_4_HE)
& a_bath(R_115_11_A_BATH)
& broke(R_115_3_BROKE,R_115_2_DAY)
& nim4(R_115_3_BROKE,Z_115_A_WILDE_1_1888_2)
& and(R_115_9_AND)
& conj1(R_115_9_AND,R_115_5_FLEW)
& flew(R_115_5_FLEW,R_115_4_HE)
& nim2(R_115_5_FLEW,Z_115_A_WILDE_1_1888_2)
& down_to_clr22(R_115_5_FLEW,R_115_7_THE_RIVER)
& conj2(R_115_9_AND,R_115_10_HAD)
& had(R_115_10_HAD,R_115_4_HE,R_115_11_A_BATH)
& nim2(R_115_10_HAD,Z_115_A_WILDE_1_1888_2) ) ).
( (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))