8_a_wilde_2_1888
He had been to visit his friend the Cornish ogre, and had stayed with him for seven years.
( (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})
(PRN (NP (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))
arc(r_0008_0002__had,r_0008_0003__been,scope).
arc(r_0008_0003__been,r_0008_0005__visit,scope).
arc(r_0008_0005__visit,r_0008_0001__He,arg0).
arc(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,attrib).
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__clr).
arc(r_0008_0014__stayed,r_0008_0018__seven_r_0008_0019__years,r_0008_0017__for__nim).
arc(z_0008_5007,r_0008_0007__friend,arg0).
arc(z_0008_5007,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_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_0008_5007] :
( 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_0008_5007(Z_0008_5007)
& has_prd(Z_0008_5007,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_attrib(R_0008_0008__THE_R_0008_0010__OGRE,R_0008_0009__CORNISH)
& has_arg0(Z_0008_5007,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__nim(R_0008_0013__HAD_R_0008_0014__STAYED,R_0008_0018__SEVEN_R_0008_0019__YEARS)
& has_r_0008_0015__with__clr(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_0005__VISIT)
& r_0008_0002__had_r_0008_0003__been_r_0008_0005__visit(R_0008_0002__HAD_R_0008_0003__BEEN_R_0008_0005__VISIT)
& has_arg1(R_0008_0002__HAD_R_0008_0003__BEEN_R_0008_0005__VISIT,R_0008_0007__FRIEND)
& has_arg0(R_0008_0002__HAD_R_0008_0003__BEEN_R_0008_0005__VISIT,R_0008_0001__HE) ) ).