8_a_wilde_2_1888
He had been to visit his friend the Cornish ogre, and had stayed with him for seven years.

n8_a_wilde_2_1888 n8_a_wilde_2_1888__1_1_1_1 He n8_a_wilde_2_1888__1_2_1_1_1 had n8_a_wilde_2_1888__1_2_1_2_1_1 been n8_a_wilde_2_1888__1_2_1_2_2_1_1 to n8_a_wilde_2_1888__1_2_1_2_2_2_1 visit n8_a_wilde_2_1888__1_2_1_2_2_3_1_1_1 his n8_a_wilde_2_1888__1_2_1_2_2_3_2_1 friend n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_1_1 the n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_2_1_1 Cornish n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_3_1 ogre n8_a_wilde_2_1888__1_2_2_1 , n8_a_wilde_2_1888__1_2_3_1_1 and n8_a_wilde_2_1888__1_2_3_2_1_1 had n8_a_wilde_2_1888__1_2_3_2_2_1_1 stayed n8_a_wilde_2_1888__1_2_3_2_2_2_1_1 with n8_a_wilde_2_1888__1_2_3_2_2_2_2_1_1 him n8_a_wilde_2_1888__1_2_3_2_2_3_1_1 for n8_a_wilde_2_1888__1_2_3_2_2_3_2_1_1 seven n8_a_wilde_2_1888__1_2_3_2_2_3_2_2_1 years n8_a_wilde_2_1888__1_3_1 . n8_a_wilde_2_1888__1 IP-MAT n8_a_wilde_2_1888__1_1 NP-SBJ n8_a_wilde_2_1888__1->n8_a_wilde_2_1888__1_1 n8_a_wilde_2_1888__1_2 ILYR n8_a_wilde_2_1888__1->n8_a_wilde_2_1888__1_2 n8_a_wilde_2_1888__1_3 PUNC n8_a_wilde_2_1888__1->n8_a_wilde_2_1888__1_3 n8_a_wilde_2_1888__1_1_1 PRO n8_a_wilde_2_1888__1_1->n8_a_wilde_2_1888__1_1_1 n8_a_wilde_2_1888__1_1_1->n8_a_wilde_2_1888__1_1_1_1 n8_a_wilde_2_1888__1_2_1 ILYR n8_a_wilde_2_1888__1_2->n8_a_wilde_2_1888__1_2_1 n8_a_wilde_2_1888__1_2_2 PUNC n8_a_wilde_2_1888__1_2->n8_a_wilde_2_1888__1_2_2 n8_a_wilde_2_1888__1_2_3 CONJP n8_a_wilde_2_1888__1_2->n8_a_wilde_2_1888__1_2_3 n8_a_wilde_2_1888__1_2_1_1 HVD;_cat_Ve_ n8_a_wilde_2_1888__1_2_1->n8_a_wilde_2_1888__1_2_1_1 n8_a_wilde_2_1888__1_2_1_2 IP-PPL-CAT n8_a_wilde_2_1888__1_2_1->n8_a_wilde_2_1888__1_2_1_2 n8_a_wilde_2_1888__1_2_1_1->n8_a_wilde_2_1888__1_2_1_1_1 n8_a_wilde_2_1888__1_2_1_2_1 BEN;_cat_Vt_ n8_a_wilde_2_1888__1_2_1_2->n8_a_wilde_2_1888__1_2_1_2_1 n8_a_wilde_2_1888__1_2_1_2_2 IP-INF-CAT n8_a_wilde_2_1888__1_2_1_2->n8_a_wilde_2_1888__1_2_1_2_2 n8_a_wilde_2_1888__1_2_1_2_1->n8_a_wilde_2_1888__1_2_1_2_1_1 n8_a_wilde_2_1888__1_2_1_2_2_1 TO n8_a_wilde_2_1888__1_2_1_2_2->n8_a_wilde_2_1888__1_2_1_2_2_1 n8_a_wilde_2_1888__1_2_1_2_2_2 VB;_Tn_ n8_a_wilde_2_1888__1_2_1_2_2->n8_a_wilde_2_1888__1_2_1_2_2_2 n8_a_wilde_2_1888__1_2_1_2_2_3 NP-OB1 n8_a_wilde_2_1888__1_2_1_2_2->n8_a_wilde_2_1888__1_2_1_2_2_3 n8_a_wilde_2_1888__1_2_1_2_2_1->n8_a_wilde_2_1888__1_2_1_2_2_1_1 n8_a_wilde_2_1888__1_2_1_2_2_2->n8_a_wilde_2_1888__1_2_1_2_2_2_1 n8_a_wilde_2_1888__1_2_1_2_2_3_1 NP-GEN n8_a_wilde_2_1888__1_2_1_2_2_3->n8_a_wilde_2_1888__1_2_1_2_2_3_1 n8_a_wilde_2_1888__1_2_1_2_2_3_2 N n8_a_wilde_2_1888__1_2_1_2_2_3->n8_a_wilde_2_1888__1_2_1_2_2_3_2 n8_a_wilde_2_1888__1_2_1_2_2_3_3 PRN n8_a_wilde_2_1888__1_2_1_2_2_3->n8_a_wilde_2_1888__1_2_1_2_2_3_3 n8_a_wilde_2_1888__1_2_1_2_2_3_1_1 PRO;_genm_ n8_a_wilde_2_1888__1_2_1_2_2_3_1->n8_a_wilde_2_1888__1_2_1_2_2_3_1_1 n8_a_wilde_2_1888__1_2_1_2_2_3_1_1->n8_a_wilde_2_1888__1_2_1_2_2_3_1_1_1 n8_a_wilde_2_1888__1_2_1_2_2_3_2->n8_a_wilde_2_1888__1_2_1_2_2_3_2_1 n8_a_wilde_2_1888__1_2_1_2_2_3_3_1 NP n8_a_wilde_2_1888__1_2_1_2_2_3_3->n8_a_wilde_2_1888__1_2_1_2_2_3_3_1 n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_1 D n8_a_wilde_2_1888__1_2_1_2_2_3_3_1->n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_1 n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_2 ADJP n8_a_wilde_2_1888__1_2_1_2_2_3_3_1->n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_2 n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_3 N n8_a_wilde_2_1888__1_2_1_2_2_3_3_1->n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_3 n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_1->n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_1_1 n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_2_1 ADJ n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_2->n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_2_1 n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_2_1->n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_2_1_1 n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_3->n8_a_wilde_2_1888__1_2_1_2_2_3_3_1_3_1 n8_a_wilde_2_1888__1_2_2->n8_a_wilde_2_1888__1_2_2_1 n8_a_wilde_2_1888__1_2_3_1 CONJ n8_a_wilde_2_1888__1_2_3->n8_a_wilde_2_1888__1_2_3_1 n8_a_wilde_2_1888__1_2_3_2 ILYR n8_a_wilde_2_1888__1_2_3->n8_a_wilde_2_1888__1_2_3_2 n8_a_wilde_2_1888__1_2_3_1->n8_a_wilde_2_1888__1_2_3_1_1 n8_a_wilde_2_1888__1_2_3_2_1 HVD;_cat_Ve_ n8_a_wilde_2_1888__1_2_3_2->n8_a_wilde_2_1888__1_2_3_2_1 n8_a_wilde_2_1888__1_2_3_2_2 IP-PPL-CAT n8_a_wilde_2_1888__1_2_3_2->n8_a_wilde_2_1888__1_2_3_2_2 n8_a_wilde_2_1888__1_2_3_2_1->n8_a_wilde_2_1888__1_2_3_2_1_1 n8_a_wilde_2_1888__1_2_3_2_2_1 VVN;_In/pr_ n8_a_wilde_2_1888__1_2_3_2_2->n8_a_wilde_2_1888__1_2_3_2_2_1 n8_a_wilde_2_1888__1_2_3_2_2_2 PP-CLR n8_a_wilde_2_1888__1_2_3_2_2->n8_a_wilde_2_1888__1_2_3_2_2_2 n8_a_wilde_2_1888__1_2_3_2_2_3 PP-NIM n8_a_wilde_2_1888__1_2_3_2_2->n8_a_wilde_2_1888__1_2_3_2_2_3 n8_a_wilde_2_1888__1_2_3_2_2_1->n8_a_wilde_2_1888__1_2_3_2_2_1_1 n8_a_wilde_2_1888__1_2_3_2_2_2_1 P-ROLE n8_a_wilde_2_1888__1_2_3_2_2_2->n8_a_wilde_2_1888__1_2_3_2_2_2_1 n8_a_wilde_2_1888__1_2_3_2_2_2_2 NP n8_a_wilde_2_1888__1_2_3_2_2_2->n8_a_wilde_2_1888__1_2_3_2_2_2_2 n8_a_wilde_2_1888__1_2_3_2_2_2_1->n8_a_wilde_2_1888__1_2_3_2_2_2_1_1 n8_a_wilde_2_1888__1_2_3_2_2_2_2_1 PRO n8_a_wilde_2_1888__1_2_3_2_2_2_2->n8_a_wilde_2_1888__1_2_3_2_2_2_2_1 n8_a_wilde_2_1888__1_2_3_2_2_2_2_1->n8_a_wilde_2_1888__1_2_3_2_2_2_2_1_1 n8_a_wilde_2_1888__1_2_3_2_2_3_1 P-ROLE n8_a_wilde_2_1888__1_2_3_2_2_3->n8_a_wilde_2_1888__1_2_3_2_2_3_1 n8_a_wilde_2_1888__1_2_3_2_2_3_2 NP n8_a_wilde_2_1888__1_2_3_2_2_3->n8_a_wilde_2_1888__1_2_3_2_2_3_2 n8_a_wilde_2_1888__1_2_3_2_2_3_1->n8_a_wilde_2_1888__1_2_3_2_2_3_1_1 n8_a_wilde_2_1888__1_2_3_2_2_3_2_1 NUM n8_a_wilde_2_1888__1_2_3_2_2_3_2->n8_a_wilde_2_1888__1_2_3_2_2_3_2_1 n8_a_wilde_2_1888__1_2_3_2_2_3_2_2 NS n8_a_wilde_2_1888__1_2_3_2_2_3_2->n8_a_wilde_2_1888__1_2_3_2_2_3_2_2 n8_a_wilde_2_1888__1_2_3_2_2_3_2_1->n8_a_wilde_2_1888__1_2_3_2_2_3_2_1_1 n8_a_wilde_2_1888__1_2_3_2_2_3_2_2->n8_a_wilde_2_1888__1_2_3_2_2_3_2_2_1 n8_a_wilde_2_1888__1_3->n8_a_wilde_2_1888__1_3_1
( (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))



%3 z_0008_5007 r_0008_0008__the_r_0008_0010__ogre the ogre z_0008_5007->r_0008_0008__the_r_0008_0010__ogre [prd] r_0008_0007__friend friend z_0008_5007->r_0008_0007__friend [arg0] r_0008_0009__Cornish Cornish r_0008_0008__the_r_0008_0010__ogre->r_0008_0009__Cornish [attrib] r_0008_0001__He He r_0008_0007__friend->r_0008_0001__He [gen] r_0008_0014__stayed stayed r_0008_0014__stayed->r_0008_0007__friend with [clr] r_0008_0018__seven_r_0008_0019__years seven years r_0008_0014__stayed->r_0008_0018__seven_r_0008_0019__years for [nim] r_0008_0014__stayed->r_0008_0001__He [arg0] r_0008_0013__had had r_0008_0013__had->r_0008_0014__stayed [scope] r_0008_0012__and and r_0008_0012__and->r_0008_0013__had [conj2] r_0008_0002__had had r_0008_0012__and->r_0008_0002__had [conj1] r_0008_0003__been been r_0008_0002__had->r_0008_0003__been [scope] r_0008_0005__visit visit r_0008_0005__visit->r_0008_0007__friend [arg1] r_0008_0005__visit->r_0008_0001__He [arg0] r_0008_0003__been->r_0008_0005__visit [scope]
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).



%3 r_0008_0002__had_r_0008_0003__been_r_0008_0005__visit had been visit r_0008_0001__He He r_0008_0002__had_r_0008_0003__been_r_0008_0005__visit->r_0008_0001__He [arg0] r_0008_0007__friend friend r_0008_0002__had_r_0008_0003__been_r_0008_0005__visit->r_0008_0007__friend [arg1] r_0008_0007__friend->r_0008_0001__He [gen] r_0008_0008__the_r_0008_0010__ogre the ogre r_0008_0009__Cornish Cornish r_0008_0008__the_r_0008_0010__ogre->r_0008_0009__Cornish [attrib] r_0008_0012__and and r_0008_0012__and->r_0008_0002__had_r_0008_0003__been_r_0008_0005__visit [conj1] r_0008_0013__had_r_0008_0014__stayed had stayed r_0008_0012__and->r_0008_0013__had_r_0008_0014__stayed [conj2] r_0008_0013__had_r_0008_0014__stayed->r_0008_0001__He [arg0] r_0008_0013__had_r_0008_0014__stayed->r_0008_0007__friend with [clr] r_0008_0018__seven_r_0008_0019__years seven years r_0008_0013__had_r_0008_0014__stayed->r_0008_0018__seven_r_0008_0019__years for [nim] z_0008_5007 z_0008_5007->r_0008_0007__friend [arg0] 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) ) ).