16_a_wilde_1_1888
His friends had gone away to Egypt six weeks before, but he had stayed behind, for he was in love with the most beautiful Reed.
arc(r_0016_0002__friends, r_0016_0001__His, gen).
arc(r_0016_0003__had, r_0016_0004__gone, scope).
arc(r_0016_0004__gone, r_0016_0002__friends, arg0).
arc(r_0016_0004__gone, r_0016_0005__away, nim15).
arc(r_0016_0004__gone, r_0016_0007__Egypt, r_0016_0006__to_clr21).
arc(r_0016_0004__gone, r_0016_0010__before, nim24).
arc(r_0016_0010__before, r_0016_0008__six_r_0016_0009__weeks, nim25).
arc(r_0016_0012__but, r_0016_0003__had, conj1).
arc(r_0016_0012__but, r_0016_0018__for, conj2).
arc(r_0016_0014__had, r_0016_0015__stayed_r_0016_0016__behind, scope).
arc(r_0016_0015__stayed_r_0016_0016__behind, r_0016_0013__he, arg0).
arc(r_0016_0018__for, r_0016_0014__had, scope).
arc(r_0016_0018__for, r_0016_0020__was, restriction).
arc(r_0016_0020__was, r_0016_0013__he, arg0).
arc(r_0016_0020__was, r_0016_0022__love, r_0016_0021__in_clr62).
arc(r_0016_0022__love, r_0016_0024__the_r_0016_0027__Reed, r_0016_0023__with).
arc(r_0016_0024__the_r_0016_0027__Reed, r_0016_0026__beautiful, attrib71).
arc(r_0016_0026__beautiful, r_0016_0025__most, qual72).
fof(formula,axiom,
? [R_16_12_BUT,R_16_3_HAD_GONE,R_16_2_FRIENDS,R_16_1_HIS,R_16_5_AWAY,R_16_10_BEFORE,R_16_8_SIX_WEEKS,R_16_7_EGYPT,R_16_18_FOR,R_16_20_WAS,R_16_22_LOVE,R_16_24_THE_REED,R_16_26_BEAUTIFUL,R_16_25_MOST,R_16_14_HAD_STAYED_BEHIND,R_16_13_HE] :
( his(R_16_1_HIS)
& away(R_16_5_AWAY)
& six_weeks(R_16_8_SIX_WEEKS)
& egypt(R_16_7_EGYPT)
& most(R_16_25_MOST)
& he(R_16_13_HE)
& but(R_16_12_BUT)
& conj1(R_16_12_BUT,R_16_3_HAD_GONE)
& had_gone(R_16_3_HAD_GONE,R_16_2_FRIENDS)
& friends(R_16_2_FRIENDS)
& gen(R_16_2_FRIENDS,R_16_1_HIS)
& nim15(R_16_3_HAD_GONE,R_16_5_AWAY)
& nim24(R_16_3_HAD_GONE,R_16_10_BEFORE)
& before(R_16_10_BEFORE)
& nim25(R_16_10_BEFORE,R_16_8_SIX_WEEKS)
& to_clr21(R_16_3_HAD_GONE,R_16_7_EGYPT)
& conj2(R_16_12_BUT,R_16_18_FOR)
& for(R_16_18_FOR)
& conj1(R_16_18_FOR,R_16_20_WAS)
& was(R_16_20_WAS,R_16_13_HE)
& in_clr62(R_16_20_WAS,R_16_22_LOVE)
& love(R_16_22_LOVE)
& with(R_16_22_LOVE,R_16_24_THE_REED)
& the_Reed(R_16_24_THE_REED)
& attrib71(R_16_24_THE_REED,R_16_26_BEAUTIFUL)
& beautiful(R_16_26_BEAUTIFUL)
& qual72(R_16_26_BEAUTIFUL,R_16_25_MOST)
& conj2(R_16_18_FOR,R_16_14_HAD_STAYED_BEHIND)
& had_stayed_behind(R_16_14_HAD_STAYED_BEHIND,R_16_13_HE) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ (NP-GEN;{SWALLOW} (PRO;_genm_ His;{his}))
(NS friends;{friend}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;_Ipr_ gone;{go[to]})
(ADVP-NIM (ADV away;{away}))
(PP-CLR (P-ROLE to;{to})
(NP (NPR Egypt;{Egypt})))
(ADVP-NIM (NP (NUM six;{six})
(NS weeks;{week}))
(ADV before;{before}))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ;{SWALLOW} (PRO he;{he}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;_phr_Vp_ stayed;{stay[behind]})
(RP behind;{behind}))
(PUNC ,)
(PP-SCON (P-CONN for;{for})
(IP-ADV (NP-SBJ;{SWALLOW} (PRO he;{he}))
(BED;_Ipr_ was;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP (N love;{love})
(PP (P-ROLE with;{with})
(NP;{REED} (D the;{the})
(ADJP (ADVP (ADVS most;{most}))
(ADJ beautiful;{beautiful}))
(N Reed;{reed}))))))))))
(PUNC .))
(ID 16_a_wilde_1_1888))