( (IP-MAT (NP-SBJ (D The;{the})
                  (N hedgehog;{hedgehog}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Tn_ undergone;{undergo})
                      (NP-OB1 (D an;{an})
                              (ADJP (ADJ extraordinary;{extraordinary}))
                              (N evolution;{evolution})))
          (PUNC .))
  (ID 110_a_hedgehog;speaker=Stewart))

arc(r_0110_0003__has,r_0110_0004__undergone,scope).
arc(r_0110_0004__undergone,r_0110_0001__The_r_0110_0002__hedgehog,arg0).
arc(r_0110_0004__undergone,r_0110_0005__an_r_0110_0007__evolution,arg1).
arc(r_0110_0005__an_r_0110_0007__evolution,r_0110_0006__extraordinary,attrib).

fof(formula,axiom,
    ? [R_0110_0001__THE_R_0110_0002__HEDGEHOG,R_0110_0006__EXTRAORDINARY,R_0110_0005__AN_R_0110_0007__EVOLUTION,R_0110_0003__HAS_R_0110_0004__UNDERGONE] :
      ( r_0110_0001__The_r_0110_0002__hedgehog(R_0110_0001__THE_R_0110_0002__HEDGEHOG)
      & r_0110_0006__extraordinary(R_0110_0006__EXTRAORDINARY)
      & r_0110_0003__has_r_0110_0004__undergone(R_0110_0003__HAS_R_0110_0004__UNDERGONE)
      & has_arg1(R_0110_0003__HAS_R_0110_0004__UNDERGONE,R_0110_0005__AN_R_0110_0007__EVOLUTION)
      & r_0110_0005__an_r_0110_0007__evolution(R_0110_0005__AN_R_0110_0007__EVOLUTION)
      & has_attrib(R_0110_0005__AN_R_0110_0007__EVOLUTION,R_0110_0006__EXTRAORDINARY)
      & has_arg0(R_0110_0003__HAS_R_0110_0004__UNDERGONE,R_0110_0001__THE_R_0110_0002__HEDGEHOG) ) ).