8_a_wilde_2_1888
He had been to visit his friend the Cornish ogre, and had stayed with him for seven years.
arc(r_0008_0002__had, r_0008_0003__been, scope).
arc(r_0008_0003__been, r_0008_0004__to_r_0008_0005__visit, scope).
arc(r_0008_0004__to_r_0008_0005__visit, r_0008_0001__He, arg0).
arc(r_0008_0004__to_r_0008_0005__visit, r_0008_0007__friend, arg1).
arc(r_0008_0007__friend, r_0008_0001__He, gen).
arc(r_0008_0008__the_r_0008_0010__ogre, r_0008_0009__Cornish, attrib27).
arc(r_0008_0012__and, r_0008_0002__had, conj1).
arc(r_0008_0012__and, r_0008_0013__had, conj2).
arc(r_0008_0013__had, r_0008_0014__stayed, scope).
arc(r_0008_0014__stayed, r_0008_0001__He, arg0).
arc(r_0008_0014__stayed, r_0008_0007__friend, r_0008_0015__with_clr46).
arc(r_0008_0014__stayed, r_0008_0018__seven_r_0008_0019__years, r_0008_0017__for_nim52).
arc(z_000_8_a_wilde_2_1888_23, r_0008_0007__friend, arg0).
arc(z_000_8_a_wilde_2_1888_23, r_0008_0008__the_r_0008_0010__ogre, prd).
fof(formula,axiom,
? [R_0008_0001__HE,R_0008_0007__FRIEND,R_0008_0002__HAD_R_0008_0003__BEEN_R_0008_0004__TO_R_0008_0005__VISIT,R_0008_0018__SEVEN_R_0008_0019__YEARS,R_0008_0013__HAD_R_0008_0014__STAYED,R_0008_0012__AND,R_0008_0009__CORNISH,R_0008_0008__THE_R_0008_0010__OGRE,Z_000_8_A_WILDE_2_1888_23] :
( r_0008_0001__He(R_0008_0001__HE)
& r_0008_0009__Cornish(R_0008_0009__CORNISH)
& r_0008_0018__seven_r_0008_0019__years(R_0008_0018__SEVEN_R_0008_0019__YEARS)
& z_000_8_a_wilde_2_1888_23(Z_000_8_A_WILDE_2_1888_23)
& has_prd(Z_000_8_A_WILDE_2_1888_23,R_0008_0008__THE_R_0008_0010__OGRE)
& r_0008_0008__the_r_0008_0010__ogre(R_0008_0008__THE_R_0008_0010__OGRE)
& has_attrib27(R_0008_0008__THE_R_0008_0010__OGRE,R_0008_0009__CORNISH)
& has_arg0(Z_000_8_A_WILDE_2_1888_23,R_0008_0007__FRIEND)
& r_0008_0007__friend(R_0008_0007__FRIEND)
& has_gen(R_0008_0007__FRIEND,R_0008_0001__HE)
& r_0008_0012__and(R_0008_0012__AND)
& has_conj2(R_0008_0012__AND,R_0008_0013__HAD_R_0008_0014__STAYED)
& r_0008_0013__had_r_0008_0014__stayed(R_0008_0013__HAD_R_0008_0014__STAYED)
& has_r_0008_0017__for_nim52(R_0008_0013__HAD_R_0008_0014__STAYED,R_0008_0018__SEVEN_R_0008_0019__YEARS)
& has_r_0008_0015__with_clr46(R_0008_0013__HAD_R_0008_0014__STAYED,R_0008_0007__FRIEND)
& has_arg0(R_0008_0013__HAD_R_0008_0014__STAYED,R_0008_0001__HE)
& has_conj1(R_0008_0012__AND,R_0008_0002__HAD_R_0008_0003__BEEN_R_0008_0004__TO_R_0008_0005__VISIT)
& r_0008_0002__had_r_0008_0003__been_r_0008_0004__to_r_0008_0005__visit(R_0008_0002__HAD_R_0008_0003__BEEN_R_0008_0004__TO_R_0008_0005__VISIT)
& has_arg1(R_0008_0002__HAD_R_0008_0003__BEEN_R_0008_0004__TO_R_0008_0005__VISIT,R_0008_0007__FRIEND)
& has_arg0(R_0008_0002__HAD_R_0008_0003__BEEN_R_0008_0004__TO_R_0008_0005__VISIT,R_0008_0001__HE) ) ).
( (IP-MAT (NP-SBJ;{GIANT} (PRO He;{he}))
(ILYR (ILYR (HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (BEN;_cat_Vt_ been;{be})
(IP-INF-CAT (TO to;{to})
(VB;_Tn_ visit;{visit})
(NP-OB1;{OGRE} (NP-GEN;{GIANT} (PRO;_genm_ his;{his}))
(N friend;{friend})
(IP-PPL (NP-PRD (D the;{the})
(ADJP (ADJ Cornish;{cornish}))
(N ogre;{ogre})))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;_In/pr_ stayed;{stay[with]})
(PP-CLR (P-ROLE with;{with})
(NP;{OGRE} (PRO him;{he})))
(PP-NIM (P-ROLE for;{for})
(NP (NUM seven;{seven})
(NS years;{year})))))))
(PUNC .))
(ID 8_a_wilde_2_1888))