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, attrib12).
arc(r_0154_0006__challenging, r_0154_0005__more, qual13).
arc(r_0154_0008__for_r_0154_0010__to_r_0154_0011__take_r_0154_0012__on, r_0154_0009__us, arg0).
arc(r_0154_0008__for_r_0154_0010__to_r_0154_0011__take_r_0154_0012__on, r_0154_0013__board, arg1).
arc(z_000_154_a_hedgehog_20, r_0154_0003__is, scope).
arc(z_000_154_a_hedgehog_20, r_0154_0008__for_r_0154_0010__to_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_0008__FOR_R_0154_0010__TO_R_0154_0011__TAKE_R_0154_0012__ON,Z_000_154_A_HEDGEHOG_20] :
      ( 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_000_154_a_hedgehog_20(Z_000_154_A_HEDGEHOG_20)
      & has_conj1(Z_000_154_A_HEDGEHOG_20,R_0154_0008__FOR_R_0154_0010__TO_R_0154_0011__TAKE_R_0154_0012__ON)
      & r_0154_0008__for_r_0154_0010__to_r_0154_0011__take_r_0154_0012__on(R_0154_0008__FOR_R_0154_0010__TO_R_0154_0011__TAKE_R_0154_0012__ON)
      & has_arg1(R_0154_0008__FOR_R_0154_0010__TO_R_0154_0011__TAKE_R_0154_0012__ON,R_0154_0013__BOARD)
      & has_arg0(R_0154_0008__FOR_R_0154_0010__TO_R_0154_0011__TAKE_R_0154_0012__ON,R_0154_0009__US)
      & has_conj2(Z_000_154_A_HEDGEHOG_20,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_attrib12(R_0154_0004__A_R_0154_0007__SPECIES,R_0154_0006__CHALLENGING)
      & r_0154_0006__challenging(R_0154_0006__CHALLENGING)
      & has_qual13(R_0154_0006__CHALLENGING,R_0154_0005__MORE)
      & has_arg0(R_0154_0003__IS,R_0154_0001__THE_R_0154_0002__HEDGEHOG) ) ).

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