109_a_wilde_1_1888
Then the Swallow flew back to the Happy Prince, and told him what he had done.
arc(r_0109_0004__flew_r_0109_0005__back, r_0109_0001__Then, nim2).
arc(r_0109_0004__flew_r_0109_0005__back, r_0109_0002__the_r_0109_0003__Swallow, arg0).
arc(r_0109_0004__flew_r_0109_0005__back, r_0109_0007__the_r_0109_0009__Prince, r_0109_0006__to_nim19).
arc(r_0109_0007__the_r_0109_0009__Prince, r_0109_0008__Happy, attrib22).
arc(r_0109_0011__and, r_0109_0004__flew_r_0109_0005__back, conj1).
arc(r_0109_0011__and, r_0109_0012__told, conj2).
arc(r_0109_0012__told, r_0109_0001__Then, nim2).
arc(r_0109_0012__told, r_0109_0002__the_r_0109_0003__Swallow, arg0).
arc(r_0109_0012__told, r_0109_0007__the_r_0109_0009__Prince, arg2).
arc(r_0109_0012__told, r_0109_0016__had, arg1).
arc(r_0109_0016__had, r_0109_0017__done, scope).
arc(r_0109_0017__done, r_0109_0002__the_r_0109_0003__Swallow, arg0).
arc(r_0109_0017__done, r_0109_0014__what, arg1).
fof(formula,axiom,
? [R_109_11_AND,R_109_4_FLEW_BACK,R_109_12_TOLD,R_109_16_HAD_DONE,R_109_2_THE_SWALLOW,R_109_14_WHAT,R_109_7_THE_PRINCE,R_109_8_HAPPY,R_109_1_THEN] :
( the_Swallow(R_109_2_THE_SWALLOW)
& what(R_109_14_WHAT)
& happy(R_109_8_HAPPY)
& then(R_109_1_THEN)
& and(R_109_11_AND)
& conj1(R_109_11_AND,R_109_4_FLEW_BACK)
& flew_back(R_109_4_FLEW_BACK,R_109_2_THE_SWALLOW)
& nim2(R_109_4_FLEW_BACK,R_109_1_THEN)
& to_nim19(R_109_4_FLEW_BACK,R_109_7_THE_PRINCE)
& the_Prince(R_109_7_THE_PRINCE)
& attrib22(R_109_7_THE_PRINCE,R_109_8_HAPPY)
& conj2(R_109_11_AND,R_109_12_TOLD)
& told(R_109_12_TOLD,R_109_2_THE_SWALLOW,R_109_16_HAD_DONE,R_109_7_THE_PRINCE)
& had_done(R_109_16_HAD_DONE,R_109_2_THE_SWALLOW,R_109_14_WHAT)
& nim2(R_109_12_TOLD,R_109_1_THEN) ) ).
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
(NP-SBJ;{SWALLOW} (D the;{the})
(N Swallow;{swallow}))
(ILYR (ILYR (VBD;_Ip_ flew;{fly[back]})
(RP back;{back})
(PP-NIM (P-ROLE to;{to})
(NP;{PRINCE} (D the;{the})
(ADJP (ADJ Happy;{happy}))
(N Prince;{prince}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VBD;_Dn.w_ told;{tell})
(NP-OB2;{PRINCE} (PRO him;{he}))
(CP-QUE-OB1 (IP-SUB (NP-121 (WPRO what;{what}))
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (NP-OB1 *ICH*-121)
(DON;_Tn_ done;{do})))))))
(PUNC .))
(ID 109_a_wilde_1_1888))