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

%3 r_0008_0002__had had r_0008_0003__been been r_0008_0002__had->r_0008_0003__been [scope] r_0008_0004__to_r_0008_0005__visit to visit r_0008_0003__been->r_0008_0004__to_r_0008_0005__visit [scope] r_0008_0001__He He r_0008_0004__to_r_0008_0005__visit->r_0008_0001__He [arg0] r_0008_0007__friend friend r_0008_0004__to_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 [conj1] r_0008_0013__had had r_0008_0012__and->r_0008_0013__had [conj2] r_0008_0014__stayed stayed r_0008_0013__had->r_0008_0014__stayed [scope] r_0008_0014__stayed->r_0008_0001__He [arg0] 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] z_000_8_a_wilde_2_1888_23 z_000_8_a_wilde_2_1888_23->r_0008_0007__friend [arg0] z_000_8_a_wilde_2_1888_23->r_0008_0008__the_r_0008_0010__ogre [prd]
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).



%3 r_0008_0002__had_r_0008_0003__been_r_0008_0004__to_r_0008_0005__visit had been to visit r_0008_0001__He He r_0008_0002__had_r_0008_0003__been_r_0008_0004__to_r_0008_0005__visit->r_0008_0001__He [arg0] r_0008_0007__friend friend r_0008_0002__had_r_0008_0003__been_r_0008_0004__to_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_0004__to_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_000_8_a_wilde_2_1888_23 z_000_8_a_wilde_2_1888_23->r_0008_0007__friend [arg0] z_000_8_a_wilde_2_1888_23->r_0008_0008__the_r_0008_0010__ogre [prd]
fof(formula,axiom,
    ? [R_8_12_AND,R_8_2_HAD_BEEN_TO_VISIT,R_8_13_HAD_STAYED,R_8_18_SEVEN_YEARS,Z_8_A_WILDE_2_1888_23,R_8_7_FRIEND,R_8_1_HE,R_8_8_THE_OGRE,R_8_9_CORNISH] :
      ( seven_years(R_8_18_SEVEN_YEARS)
      & he(R_8_1_HE)
      & cornish(R_8_9_CORNISH)
      & and(R_8_12_AND)
      & conj1(R_8_12_AND,R_8_2_HAD_BEEN_TO_VISIT)
      & had_been_to_visit(R_8_2_HAD_BEEN_TO_VISIT,R_8_1_HE,R_8_7_FRIEND)
      & friend(R_8_7_FRIEND)
      & gen(R_8_7_FRIEND,R_8_1_HE)
      & conj2(R_8_12_AND,R_8_13_HAD_STAYED)
      & had_stayed(R_8_13_HAD_STAYED,R_8_1_HE)
      & with_clr46(R_8_13_HAD_STAYED,R_8_7_FRIEND)
      & for_nim52(R_8_13_HAD_STAYED,R_8_18_SEVEN_YEARS)
      & z_8_a_wilde_2_1888_23(Z_8_A_WILDE_2_1888_23,R_8_7_FRIEND,R_8_8_THE_OGRE)
      & the_ogre(R_8_8_THE_OGRE)
      & attrib27(R_8_8_THE_OGRE,R_8_9_CORNISH) ) ).



n8_a_wilde_2_1888 n8_a_wilde_2_1888_4 He n8_a_wilde_2_1888_8 had n8_a_wilde_2_1888_11 been n8_a_wilde_2_1888_14 to n8_a_wilde_2_1888_16 visit n8_a_wilde_2_1888_20 his n8_a_wilde_2_1888_22 friend n8_a_wilde_2_1888_26 the n8_a_wilde_2_1888_29 Cornish n8_a_wilde_2_1888_31 ogre n8_a_wilde_2_1888_33 , n8_a_wilde_2_1888_36 and n8_a_wilde_2_1888_39 had n8_a_wilde_2_1888_42 stayed n8_a_wilde_2_1888_45 with n8_a_wilde_2_1888_48 him n8_a_wilde_2_1888_51 for n8_a_wilde_2_1888_54 seven n8_a_wilde_2_1888_56 years n8_a_wilde_2_1888_58 . n8_a_wilde_2_1888_1 IP-MAT n8_a_wilde_2_1888_2 NP-SBJ n8_a_wilde_2_1888_1->n8_a_wilde_2_1888_2 n8_a_wilde_2_1888_5 ILYR n8_a_wilde_2_1888_1->n8_a_wilde_2_1888_5 n8_a_wilde_2_1888_57 PUNC n8_a_wilde_2_1888_1->n8_a_wilde_2_1888_57 n8_a_wilde_2_1888_3 PRO n8_a_wilde_2_1888_2->n8_a_wilde_2_1888_3 n8_a_wilde_2_1888_3->n8_a_wilde_2_1888_4 n8_a_wilde_2_1888_6 ILYR n8_a_wilde_2_1888_5->n8_a_wilde_2_1888_6 n8_a_wilde_2_1888_32 PUNC n8_a_wilde_2_1888_5->n8_a_wilde_2_1888_32 n8_a_wilde_2_1888_34 CONJP n8_a_wilde_2_1888_5->n8_a_wilde_2_1888_34 n8_a_wilde_2_1888_7 HVD;_cat_Ve_ n8_a_wilde_2_1888_6->n8_a_wilde_2_1888_7 n8_a_wilde_2_1888_9 IP-PPL-CAT n8_a_wilde_2_1888_6->n8_a_wilde_2_1888_9 n8_a_wilde_2_1888_7->n8_a_wilde_2_1888_8 n8_a_wilde_2_1888_10 BEN;_cat_Vt_ n8_a_wilde_2_1888_9->n8_a_wilde_2_1888_10 n8_a_wilde_2_1888_12 IP-INF-CAT n8_a_wilde_2_1888_9->n8_a_wilde_2_1888_12 n8_a_wilde_2_1888_10->n8_a_wilde_2_1888_11 n8_a_wilde_2_1888_13 TO n8_a_wilde_2_1888_12->n8_a_wilde_2_1888_13 n8_a_wilde_2_1888_15 VB;_Tn_ n8_a_wilde_2_1888_12->n8_a_wilde_2_1888_15 n8_a_wilde_2_1888_17 NP-OB1 n8_a_wilde_2_1888_12->n8_a_wilde_2_1888_17 n8_a_wilde_2_1888_13->n8_a_wilde_2_1888_14 n8_a_wilde_2_1888_15->n8_a_wilde_2_1888_16 n8_a_wilde_2_1888_18 NP-GEN n8_a_wilde_2_1888_17->n8_a_wilde_2_1888_18 n8_a_wilde_2_1888_21 N n8_a_wilde_2_1888_17->n8_a_wilde_2_1888_21 n8_a_wilde_2_1888_23 IP-PPL n8_a_wilde_2_1888_17->n8_a_wilde_2_1888_23 n8_a_wilde_2_1888_19 PRO;_genm_ n8_a_wilde_2_1888_18->n8_a_wilde_2_1888_19 n8_a_wilde_2_1888_19->n8_a_wilde_2_1888_20 n8_a_wilde_2_1888_21->n8_a_wilde_2_1888_22 n8_a_wilde_2_1888_24 NP-PRD n8_a_wilde_2_1888_23->n8_a_wilde_2_1888_24 n8_a_wilde_2_1888_25 D n8_a_wilde_2_1888_24->n8_a_wilde_2_1888_25 n8_a_wilde_2_1888_27 ADJP n8_a_wilde_2_1888_24->n8_a_wilde_2_1888_27 n8_a_wilde_2_1888_30 N n8_a_wilde_2_1888_24->n8_a_wilde_2_1888_30 n8_a_wilde_2_1888_25->n8_a_wilde_2_1888_26 n8_a_wilde_2_1888_28 ADJ n8_a_wilde_2_1888_27->n8_a_wilde_2_1888_28 n8_a_wilde_2_1888_28->n8_a_wilde_2_1888_29 n8_a_wilde_2_1888_30->n8_a_wilde_2_1888_31 n8_a_wilde_2_1888_32->n8_a_wilde_2_1888_33 n8_a_wilde_2_1888_35 CONJ n8_a_wilde_2_1888_34->n8_a_wilde_2_1888_35 n8_a_wilde_2_1888_37 ILYR n8_a_wilde_2_1888_34->n8_a_wilde_2_1888_37 n8_a_wilde_2_1888_35->n8_a_wilde_2_1888_36 n8_a_wilde_2_1888_38 HVD;_cat_Ve_ n8_a_wilde_2_1888_37->n8_a_wilde_2_1888_38 n8_a_wilde_2_1888_40 IP-PPL-CAT n8_a_wilde_2_1888_37->n8_a_wilde_2_1888_40 n8_a_wilde_2_1888_38->n8_a_wilde_2_1888_39 n8_a_wilde_2_1888_41 VVN;_In/pr_ n8_a_wilde_2_1888_40->n8_a_wilde_2_1888_41 n8_a_wilde_2_1888_43 PP-CLR n8_a_wilde_2_1888_40->n8_a_wilde_2_1888_43 n8_a_wilde_2_1888_49 PP-NIM n8_a_wilde_2_1888_40->n8_a_wilde_2_1888_49 n8_a_wilde_2_1888_41->n8_a_wilde_2_1888_42 n8_a_wilde_2_1888_44 P-ROLE n8_a_wilde_2_1888_43->n8_a_wilde_2_1888_44 n8_a_wilde_2_1888_46 NP n8_a_wilde_2_1888_43->n8_a_wilde_2_1888_46 n8_a_wilde_2_1888_44->n8_a_wilde_2_1888_45 n8_a_wilde_2_1888_47 PRO n8_a_wilde_2_1888_46->n8_a_wilde_2_1888_47 n8_a_wilde_2_1888_47->n8_a_wilde_2_1888_48 n8_a_wilde_2_1888_50 P-ROLE n8_a_wilde_2_1888_49->n8_a_wilde_2_1888_50 n8_a_wilde_2_1888_52 NP n8_a_wilde_2_1888_49->n8_a_wilde_2_1888_52 n8_a_wilde_2_1888_50->n8_a_wilde_2_1888_51 n8_a_wilde_2_1888_53 NUM n8_a_wilde_2_1888_52->n8_a_wilde_2_1888_53 n8_a_wilde_2_1888_55 NS n8_a_wilde_2_1888_52->n8_a_wilde_2_1888_55 n8_a_wilde_2_1888_53->n8_a_wilde_2_1888_54 n8_a_wilde_2_1888_55->n8_a_wilde_2_1888_56 n8_a_wilde_2_1888_57->n8_a_wilde_2_1888_58
( (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))