( (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))

arc(r_0134_0002__before,r_0134_0004__mock,restriction).
arc(r_0134_0002__before,r_0134_0009__must,scope).
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_0009__must,r_0134_0010__understand,scope).
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).

fof(formula,axiom,
    ? [R_0134_0003__WE,R_0134_0006__ANCESTORS,R_0134_0004__MOCK,R_0134_0011__THIS,R_0134_0013__A_R_0134_0014__LESSON,R_0134_0012__IS,R_0134_0009__MUST_R_0134_0010__UNDERSTAND,R_0134_0002__BEFORE] :
      ( r_0134_0003__we(R_0134_0003__WE)
      & r_0134_0011__this(R_0134_0011__THIS)
      & r_0134_0002__before(R_0134_0002__BEFORE)
      & has_conj2(R_0134_0002__BEFORE,R_0134_0009__MUST_R_0134_0010__UNDERSTAND)
      & r_0134_0009__must_r_0134_0010__understand(R_0134_0009__MUST_R_0134_0010__UNDERSTAND)
      & has_arg1(R_0134_0009__MUST_R_0134_0010__UNDERSTAND,R_0134_0012__IS)
      & r_0134_0012__is(R_0134_0012__IS)
      & has_prd(R_0134_0012__IS,R_0134_0013__A_R_0134_0014__LESSON)
      & r_0134_0013__a_r_0134_0014__lesson(R_0134_0013__A_R_0134_0014__LESSON)
      & has_r_0134_0015__for(R_0134_0013__A_R_0134_0014__LESSON,R_0134_0003__WE)
      & has_arg0(R_0134_0012__IS,R_0134_0011__THIS)
      & has_arg0(R_0134_0009__MUST_R_0134_0010__UNDERSTAND,R_0134_0003__WE)
      & has_conj1(R_0134_0002__BEFORE,R_0134_0004__MOCK)
      & r_0134_0004__mock(R_0134_0004__MOCK)
      & has_arg1(R_0134_0004__MOCK,R_0134_0006__ANCESTORS)
      & r_0134_0006__ancestors(R_0134_0006__ANCESTORS)
      & has_gen(R_0134_0006__ANCESTORS,R_0134_0003__WE)
      & has_arg0(R_0134_0004__MOCK,R_0134_0003__WE) ) ).