( (IP-MAT (NP-SBJ;{HEDGEHOG} (D The;{the})
                             (N hedgehog;{hedgehog}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADVP (ADVR more;{more}))
                        (ADJ challenging;{challenging}))
                  (NS species;{specie}))
          (PP-SCON (IP-INF (P-CONN for;{for})
                           (NP-SBJ (PRO us;{we}))
                           (TO to;{to})
                           (VB;_phr_Vp.n_ take;{take[on]})
                           (RP on;{on})
                           (NP-OB1 (N board;{board}))))
          (PUNC .))
  (ID 154_a_hedgehog;speaker=Stewart))

arc(r_0154_0003__is,r_0154_0001__The_r_0154_0002__hedgehog,arg0).
arc(r_0154_0003__is,r_0154_0004__a_r_0154_0007__species,prd).
arc(r_0154_0004__a_r_0154_0007__species,r_0154_0006__challenging,attrib).
arc(r_0154_0006__challenging,r_0154_0005__more,qual).
arc(r_0154_0011__take_r_0154_0012__on,r_0154_0009__us,arg0).
arc(r_0154_0011__take_r_0154_0012__on,r_0154_0013__board,arg1).
arc(z_0154_5002,r_0154_0003__is,scope).
arc(z_0154_5002,r_0154_0011__take_r_0154_0012__on,restriction).

fof(formula,axiom,
    ? [R_0154_0001__THE_R_0154_0002__HEDGEHOG,R_0154_0005__MORE,R_0154_0006__CHALLENGING,R_0154_0004__A_R_0154_0007__SPECIES,R_0154_0003__IS,R_0154_0009__US,R_0154_0013__BOARD,R_0154_0011__TAKE_R_0154_0012__ON,Z_0154_5002] :
      ( r_0154_0001__The_r_0154_0002__hedgehog(R_0154_0001__THE_R_0154_0002__HEDGEHOG)
      & r_0154_0005__more(R_0154_0005__MORE)
      & r_0154_0009__us(R_0154_0009__US)
      & r_0154_0013__board(R_0154_0013__BOARD)
      & z_0154_5002(Z_0154_5002)
      & has_conj1(Z_0154_5002,R_0154_0011__TAKE_R_0154_0012__ON)
      & r_0154_0011__take_r_0154_0012__on(R_0154_0011__TAKE_R_0154_0012__ON)
      & has_arg1(R_0154_0011__TAKE_R_0154_0012__ON,R_0154_0013__BOARD)
      & has_arg0(R_0154_0011__TAKE_R_0154_0012__ON,R_0154_0009__US)
      & has_conj2(Z_0154_5002,R_0154_0003__IS)
      & r_0154_0003__is(R_0154_0003__IS)
      & has_prd(R_0154_0003__IS,R_0154_0004__A_R_0154_0007__SPECIES)
      & r_0154_0004__a_r_0154_0007__species(R_0154_0004__A_R_0154_0007__SPECIES)
      & has_attrib(R_0154_0004__A_R_0154_0007__SPECIES,R_0154_0006__CHALLENGING)
      & r_0154_0006__challenging(R_0154_0006__CHALLENGING)
      & has_qual(R_0154_0006__CHALLENGING,R_0154_0005__MORE)
      & has_arg0(R_0154_0003__IS,R_0154_0001__THE_R_0154_0002__HEDGEHOG) ) ).