Context                Previous, Next                Top


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 z_000_8_a_wilde_2_1888_23 r_0008_0008__the_r_0008_0010__ogre the ogre z_000_8_a_wilde_2_1888_23->r_0008_0008__the_r_0008_0010__ogre [prd] r_0008_0007__friend friend z_000_8_a_wilde_2_1888_23->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_0013__had_r_0008_0014__stayed had stayed 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] r_0008_0013__had_r_0008_0014__stayed->r_0008_0001__He [arg0] r_0008_0012__and and r_0008_0012__and->r_0008_0013__had_r_0008_0014__stayed [conj2] r_0008_0002__had_r_0008_0003__been_r_0008_0004__to_r_0008_0005__visit had been to visit r_0008_0012__and->r_0008_0002__had_r_0008_0003__been_r_0008_0004__to_r_0008_0005__visit [conj1] r_0008_0002__had_r_0008_0003__been_r_0008_0004__to_r_0008_0005__visit->r_0008_0007__friend [arg1] r_0008_0002__had_r_0008_0003__been_r_0008_0004__to_r_0008_0005__visit->r_0008_0001__He [arg0] 
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__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 IP-PPL 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-PRD 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})
                                                             (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))