( (IP-MAT (NP-SBJ;{HEDGEHOG} (D The;{the})
                             (N hedgehog;{hedgehog}))
          (VBP;_Tn_ provides;{provide})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJR bigger;{big}))
                  (N lesson;{lesson})
                  (PP (P-ROLE for;{for})
                      (NP (PRO us;{we})))
                  (PP (P-ROLE in;{in})
                      (NP (NP-GEN (PRO;_genm_ our;{our}))
                          (N environment;{environment}))))
          (PUNC --)
          (PRN (FRAG (ADVP-NIM (ADV first;{first}))
                     (PUNC ,)
                     (NP (D a;{a})
                         (N lesson;{lesson})
                         (PP (P-ROLE in;{in})
                             (NP (ADJP (ADJ scientific;{scientific}))
                                 (N humility;{humility}))))))
          (PUNC .))
  (ID 125_a_hedgehog;speaker=Stewart))

arc(r_0125_0003__provides,r_0125_0001__The_r_0125_0002__hedgehog,arg0).
arc(r_0125_0003__provides,r_0125_0004__a_r_0125_0006__lesson,arg1).
arc(r_0125_0003__provides,z_0125_5016,prn).
arc(r_0125_0004__a_r_0125_0006__lesson,r_0125_0005__bigger,attrib).
arc(r_0125_0004__a_r_0125_0006__lesson,r_0125_0008__us,r_0125_0007__for).
arc(r_0125_0004__a_r_0125_0006__lesson,r_0125_0011__environment,r_0125_0009__in).
arc(r_0125_0011__environment,r_0125_0008__us,gen).
arc(r_0125_0015__a_r_0125_0016__lesson,r_0125_0019__humility,r_0125_0017__in).
arc(r_0125_0019__humility,r_0125_0018__scientific,attrib).
arc(z_0125_5016,r_0125_0013__first,nim).
arc(z_0125_5016,r_0125_0015__a_r_0125_0016__lesson,z_0125_5011).
arc(z_0125_5016,z_0125_5010,arg0).

fof(formula,axiom,
    ? [R_0125_0001__THE_R_0125_0002__HEDGEHOG,R_0125_0005__BIGGER,R_0125_0008__US,R_0125_0011__ENVIRONMENT,R_0125_0004__A_R_0125_0006__LESSON,R_0125_0013__FIRST,R_0125_0018__SCIENTIFIC,R_0125_0019__HUMILITY,R_0125_0015__A_R_0125_0016__LESSON,Z_0125_5010,Z_0125_5016,R_0125_0003__PROVIDES] :
      ( r_0125_0001__The_r_0125_0002__hedgehog(R_0125_0001__THE_R_0125_0002__HEDGEHOG)
      & r_0125_0005__bigger(R_0125_0005__BIGGER)
      & r_0125_0008__us(R_0125_0008__US)
      & r_0125_0013__first(R_0125_0013__FIRST)
      & r_0125_0018__scientific(R_0125_0018__SCIENTIFIC)
      & z_0125_5010(Z_0125_5010)
      & r_0125_0003__provides(R_0125_0003__PROVIDES)
      & has_prn(R_0125_0003__PROVIDES,Z_0125_5016)
      & z_0125_5016(Z_0125_5016)
      & has_arg0(Z_0125_5016,Z_0125_5010)
      & has_z_0125_5011(Z_0125_5016,R_0125_0015__A_R_0125_0016__LESSON)
      & r_0125_0015__a_r_0125_0016__lesson(R_0125_0015__A_R_0125_0016__LESSON)
      & has_r_0125_0017__in(R_0125_0015__A_R_0125_0016__LESSON,R_0125_0019__HUMILITY)
      & r_0125_0019__humility(R_0125_0019__HUMILITY)
      & has_attrib(R_0125_0019__HUMILITY,R_0125_0018__SCIENTIFIC)
      & has_nim(Z_0125_5016,R_0125_0013__FIRST)
      & has_arg1(R_0125_0003__PROVIDES,R_0125_0004__A_R_0125_0006__LESSON)
      & r_0125_0004__a_r_0125_0006__lesson(R_0125_0004__A_R_0125_0006__LESSON)
      & has_r_0125_0009__in(R_0125_0004__A_R_0125_0006__LESSON,R_0125_0011__ENVIRONMENT)
      & r_0125_0011__environment(R_0125_0011__ENVIRONMENT)
      & has_gen(R_0125_0011__ENVIRONMENT,R_0125_0008__US)
      & has_r_0125_0007__for(R_0125_0004__A_R_0125_0006__LESSON,R_0125_0008__US)
      & has_attrib(R_0125_0004__A_R_0125_0006__LESSON,R_0125_0005__BIGGER)
      & has_arg0(R_0125_0003__PROVIDES,R_0125_0001__THE_R_0125_0002__HEDGEHOG) ) ).