Context                Previous, Next                Top


134_a_hedgehog
But before we mock our ancestors, we must understand this is a lesson for us.

%3 r_0134_0001__But_r_0134_0009__must But must r_0134_0010__understand understand r_0134_0001__But_r_0134_0009__must->r_0134_0010__understand [scope] r_0134_0003__we we r_0134_0010__understand->r_0134_0003__we [arg0] r_0134_0012__is is r_0134_0010__understand->r_0134_0012__is [arg1] r_0134_0002__before before r_0134_0002__before->r_0134_0001__But_r_0134_0009__must [scope] r_0134_0004__mock mock r_0134_0002__before->r_0134_0004__mock [restriction] r_0134_0004__mock->r_0134_0003__we [arg0] r_0134_0006__ancestors ancestors r_0134_0004__mock->r_0134_0006__ancestors [arg1] r_0134_0006__ancestors->r_0134_0003__we [gen] r_0134_0011__this this r_0134_0012__is->r_0134_0011__this [arg0] r_0134_0013__a_r_0134_0014__lesson a lesson r_0134_0012__is->r_0134_0013__a_r_0134_0014__lesson [prd] r_0134_0013__a_r_0134_0014__lesson->r_0134_0003__we for 
arc(r_0134_0001__But_r_0134_0009__must, r_0134_0010__understand, scope).
arc(r_0134_0002__before, r_0134_0001__But_r_0134_0009__must, scope).
arc(r_0134_0002__before, r_0134_0004__mock, restriction).
arc(r_0134_0004__mock, r_0134_0003__we, arg0).
arc(r_0134_0004__mock, r_0134_0006__ancestors, arg1).
arc(r_0134_0006__ancestors, r_0134_0003__we, gen).
arc(r_0134_0010__understand, r_0134_0003__we, arg0).
arc(r_0134_0010__understand, r_0134_0012__is, arg1).
arc(r_0134_0012__is, r_0134_0011__this, arg0).
arc(r_0134_0012__is, r_0134_0013__a_r_0134_0014__lesson, prd).
arc(r_0134_0013__a_r_0134_0014__lesson, r_0134_0003__we, r_0134_0015__for).


%3 r_0134_0013__a_r_0134_0014__lesson a lesson r_0134_0003__we we r_0134_0013__a_r_0134_0014__lesson->r_0134_0003__we for r_0134_0012__is is r_0134_0012__is->r_0134_0013__a_r_0134_0014__lesson [prd] r_0134_0011__this this r_0134_0012__is->r_0134_0011__this [arg0] r_0134_0001__But_r_0134_0009__must_r_0134_0010__understand But must understand r_0134_0001__But_r_0134_0009__must_r_0134_0010__understand->r_0134_0003__we [arg0] r_0134_0001__But_r_0134_0009__must_r_0134_0010__understand->r_0134_0012__is [arg1] r_0134_0006__ancestors ancestors r_0134_0006__ancestors->r_0134_0003__we [gen] r_0134_0004__mock mock r_0134_0004__mock->r_0134_0003__we [arg0] r_0134_0004__mock->r_0134_0006__ancestors [arg1] r_0134_0002__before before r_0134_0002__before->r_0134_0001__But_r_0134_0009__must_r_0134_0010__understand [conj2] r_0134_0002__before->r_0134_0004__mock [conj1] 
fof(formula,axiom,
    ? [R_134_2_BEFORE,R_134_4_MOCK,R_134_6_ANCESTORS,R_134_1_BUT_MUST_UNDERSTAND,R_134_12_IS,R_134_11_THIS,R_134_13_A_LESSON,R_134_3_WE] :
      ( this(R_134_11_THIS)
      & we(R_134_3_WE)
      & before(R_134_2_BEFORE)
      & conj1(R_134_2_BEFORE,R_134_4_MOCK)
      & mock(R_134_4_MOCK,R_134_3_WE,R_134_6_ANCESTORS)
      & ancestors(R_134_6_ANCESTORS)
      & gen(R_134_6_ANCESTORS,R_134_3_WE)
      & conj2(R_134_2_BEFORE,R_134_1_BUT_MUST_UNDERSTAND)
      & but_must_understand(R_134_1_BUT_MUST_UNDERSTAND,R_134_3_WE,R_134_12_IS)
      & is(R_134_12_IS,R_134_11_THIS,R_134_13_A_LESSON)
      & a_lesson(R_134_13_A_LESSON)
      & for(R_134_13_A_LESSON,R_134_3_WE) ) ).


n134_a_hedgehog n134_a_hedgehog__1_1_1 But n134_a_hedgehog__1_2_1_1 before n134_a_hedgehog__1_2_2_1_1_1 we n134_a_hedgehog__1_2_2_2_1 mock n134_a_hedgehog__1_2_2_3_1_1_1 our n134_a_hedgehog__1_2_2_3_2_1 ancestors n134_a_hedgehog__1_3_1 , n134_a_hedgehog__1_4_1_1 we n134_a_hedgehog__1_5_1 must n134_a_hedgehog__1_6_1_1 understand n134_a_hedgehog__1_6_2_1_1_1_1 this n134_a_hedgehog__1_6_2_1_2_1 is n134_a_hedgehog__1_6_2_1_3_1_1 a n134_a_hedgehog__1_6_2_1_3_2_1 lesson n134_a_hedgehog__1_6_2_1_3_3_1_1 for n134_a_hedgehog__1_6_2_1_3_3_2_1_1 us n134_a_hedgehog__1_7_1 . n134_a_hedgehog__1 IP-MAT n134_a_hedgehog__1_1 CONJ;_cl_ n134_a_hedgehog__1->n134_a_hedgehog__1_1 n134_a_hedgehog__1_2 PP-SCON n134_a_hedgehog__1->n134_a_hedgehog__1_2 n134_a_hedgehog__1_3 PUNC n134_a_hedgehog__1->n134_a_hedgehog__1_3 n134_a_hedgehog__1_4 NP-SBJ n134_a_hedgehog__1->n134_a_hedgehog__1_4 n134_a_hedgehog__1_5 MD;_cat_Vi_ n134_a_hedgehog__1->n134_a_hedgehog__1_5 n134_a_hedgehog__1_6 IP-INF-CAT n134_a_hedgehog__1->n134_a_hedgehog__1_6 n134_a_hedgehog__1_7 PUNC n134_a_hedgehog__1->n134_a_hedgehog__1_7 n134_a_hedgehog__1_1->n134_a_hedgehog__1_1_1 n134_a_hedgehog__1_2_1 P-CONN n134_a_hedgehog__1_2->n134_a_hedgehog__1_2_1 n134_a_hedgehog__1_2_2 IP-ADV n134_a_hedgehog__1_2->n134_a_hedgehog__1_2_2 n134_a_hedgehog__1_2_1->n134_a_hedgehog__1_2_1_1 n134_a_hedgehog__1_2_2_1 NP-SBJ n134_a_hedgehog__1_2_2->n134_a_hedgehog__1_2_2_1 n134_a_hedgehog__1_2_2_2 VBP;_Tn_ n134_a_hedgehog__1_2_2->n134_a_hedgehog__1_2_2_2 n134_a_hedgehog__1_2_2_3 NP-OB1 n134_a_hedgehog__1_2_2->n134_a_hedgehog__1_2_2_3 n134_a_hedgehog__1_2_2_1_1 PRO n134_a_hedgehog__1_2_2_1->n134_a_hedgehog__1_2_2_1_1 n134_a_hedgehog__1_2_2_1_1->n134_a_hedgehog__1_2_2_1_1_1 n134_a_hedgehog__1_2_2_2->n134_a_hedgehog__1_2_2_2_1 n134_a_hedgehog__1_2_2_3_1 NP-GEN n134_a_hedgehog__1_2_2_3->n134_a_hedgehog__1_2_2_3_1 n134_a_hedgehog__1_2_2_3_2 NS n134_a_hedgehog__1_2_2_3->n134_a_hedgehog__1_2_2_3_2 n134_a_hedgehog__1_2_2_3_1_1 PRO;_genm_ n134_a_hedgehog__1_2_2_3_1->n134_a_hedgehog__1_2_2_3_1_1 n134_a_hedgehog__1_2_2_3_1_1->n134_a_hedgehog__1_2_2_3_1_1_1 n134_a_hedgehog__1_2_2_3_2->n134_a_hedgehog__1_2_2_3_2_1 n134_a_hedgehog__1_3->n134_a_hedgehog__1_3_1 n134_a_hedgehog__1_4_1 PRO n134_a_hedgehog__1_4->n134_a_hedgehog__1_4_1 n134_a_hedgehog__1_4_1->n134_a_hedgehog__1_4_1_1 n134_a_hedgehog__1_5->n134_a_hedgehog__1_5_1 n134_a_hedgehog__1_6_1 VB;_Tf_ n134_a_hedgehog__1_6->n134_a_hedgehog__1_6_1 n134_a_hedgehog__1_6_2 CP-THT-OB1 n134_a_hedgehog__1_6->n134_a_hedgehog__1_6_2 n134_a_hedgehog__1_6_1->n134_a_hedgehog__1_6_1_1 n134_a_hedgehog__1_6_2_1 IP-SUB n134_a_hedgehog__1_6_2->n134_a_hedgehog__1_6_2_1 n134_a_hedgehog__1_6_2_1_1 NP-SBJ n134_a_hedgehog__1_6_2_1->n134_a_hedgehog__1_6_2_1_1 n134_a_hedgehog__1_6_2_1_2 BEP;_Ln_ n134_a_hedgehog__1_6_2_1->n134_a_hedgehog__1_6_2_1_2 n134_a_hedgehog__1_6_2_1_3 NP-PRD n134_a_hedgehog__1_6_2_1->n134_a_hedgehog__1_6_2_1_3 n134_a_hedgehog__1_6_2_1_1_1 D;_nphd_ n134_a_hedgehog__1_6_2_1_1->n134_a_hedgehog__1_6_2_1_1_1 n134_a_hedgehog__1_6_2_1_1_1->n134_a_hedgehog__1_6_2_1_1_1_1 n134_a_hedgehog__1_6_2_1_2->n134_a_hedgehog__1_6_2_1_2_1 n134_a_hedgehog__1_6_2_1_3_1 D n134_a_hedgehog__1_6_2_1_3->n134_a_hedgehog__1_6_2_1_3_1 n134_a_hedgehog__1_6_2_1_3_2 N n134_a_hedgehog__1_6_2_1_3->n134_a_hedgehog__1_6_2_1_3_2 n134_a_hedgehog__1_6_2_1_3_3 PP n134_a_hedgehog__1_6_2_1_3->n134_a_hedgehog__1_6_2_1_3_3 n134_a_hedgehog__1_6_2_1_3_1->n134_a_hedgehog__1_6_2_1_3_1_1 n134_a_hedgehog__1_6_2_1_3_2->n134_a_hedgehog__1_6_2_1_3_2_1 n134_a_hedgehog__1_6_2_1_3_3_1 P-ROLE n134_a_hedgehog__1_6_2_1_3_3->n134_a_hedgehog__1_6_2_1_3_3_1 n134_a_hedgehog__1_6_2_1_3_3_2 NP n134_a_hedgehog__1_6_2_1_3_3->n134_a_hedgehog__1_6_2_1_3_3_2 n134_a_hedgehog__1_6_2_1_3_3_1->n134_a_hedgehog__1_6_2_1_3_3_1_1 n134_a_hedgehog__1_6_2_1_3_3_2_1 PRO n134_a_hedgehog__1_6_2_1_3_3_2->n134_a_hedgehog__1_6_2_1_3_3_2_1 n134_a_hedgehog__1_6_2_1_3_3_2_1->n134_a_hedgehog__1_6_2_1_3_3_2_1_1 n134_a_hedgehog__1_7->n134_a_hedgehog__1_7_1 
( (IP-MAT (CONJ;_cl_ But;{but})
          (PP-SCON (P-CONN before;{before})
                   (IP-ADV (NP-SBJ (PRO we;{we}))
                           (VBP;_Tn_ mock;{mock})
                           (NP-OB1 (NP-GEN (PRO;_genm_ our;{our}))
                                   (NS ancestors;{ancestor}))))
          (PUNC ,)
          (NP-SBJ (PRO we;{we}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (VB;_Tf_ understand;{understand})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ (D;_nphd_ this;{this}))
                                          (BEP;_Ln_ is;{be})
                                          (NP-PRD (D a;{a})
                                                  (N lesson;{lesson})
                                                  (PP (P-ROLE for;{for})
                                                      (NP (PRO us;{we})))))))
          (PUNC .))
  (ID 134_a_hedgehog;speaker=Stewart))