arc(r_0011_0001__The_r_0011_0002__victory, r_0011_0004__the_r_0011_0006__underdog, r_0011_0003__for).
arc(r_0011_0004__the_r_0011_0006__underdog, r_0011_0005__ultimate, attrib13).
arc(r_0011_0007__came_r_0011_0008__about, r_0011_0001__The_r_0011_0002__victory, arg0).
arc(r_0011_0007__came_r_0011_0008__about, r_0011_0012__and, r_0011_0009__with_nim25).
arc(r_0011_0012__and, r_0011_0010__42_r_0011_0011___percnt_, conj1).
arc(r_0011_0012__and, r_0011_0016__votes, conj2).
arc(r_0011_0013__more, r_0011_0015__9_comma_000, r_0011_0014__than).
arc(r_0011_0016__votes, r_0011_0013__more, attrib36).
arc(r_0011_0017__cast, r_0011_0016__votes, arg0).
arc(r_0011_0017__cast, r_0011_0019__the_r_0011_0020__hedgehog, r_0011_0018__for_clr53).

fof(formula,axiom,
    ? [R_0011_0005__ULTIMATE,R_0011_0004__THE_R_0011_0006__UNDERDOG,R_0011_0001__THE_R_0011_0002__VICTORY,R_0011_0010__42_R_0011_0011___PERCNT_,R_0011_0015__9_COMMA_000,R_0011_0013__MORE,R_0011_0016__VOTES,R_0011_0012__AND,R_0011_0007__CAME_R_0011_0008__ABOUT,R_0011_0019__THE_R_0011_0020__HEDGEHOG,R_0011_0017__CAST] :
      ( r_0011_0005__ultimate(R_0011_0005__ULTIMATE)
      & r_0011_0010__42_r_0011_0011___percnt_(R_0011_0010__42_R_0011_0011___PERCNT_)
      & r_0011_0015__9_comma_000(R_0011_0015__9_COMMA_000)
      & r_0011_0019__the_r_0011_0020__hedgehog(R_0011_0019__THE_R_0011_0020__HEDGEHOG)
      & r_0011_0017__cast(R_0011_0017__CAST)
      & has_r_0011_0018__for_clr53(R_0011_0017__CAST,R_0011_0019__THE_R_0011_0020__HEDGEHOG)
      & has_arg0(R_0011_0017__CAST,R_0011_0016__VOTES)
      & r_0011_0016__votes(R_0011_0016__VOTES)
      & has_attrib36(R_0011_0016__VOTES,R_0011_0013__MORE)
      & r_0011_0013__more(R_0011_0013__MORE)
      & has_r_0011_0014__than(R_0011_0013__MORE,R_0011_0015__9_COMMA_000)
      & r_0011_0007__came_r_0011_0008__about(R_0011_0007__CAME_R_0011_0008__ABOUT)
      & has_r_0011_0009__with_nim25(R_0011_0007__CAME_R_0011_0008__ABOUT,R_0011_0012__AND)
      & r_0011_0012__and(R_0011_0012__AND)
      & has_conj2(R_0011_0012__AND,R_0011_0016__VOTES)
      & has_conj1(R_0011_0012__AND,R_0011_0010__42_R_0011_0011___PERCNT_)
      & has_arg0(R_0011_0007__CAME_R_0011_0008__ABOUT,R_0011_0001__THE_R_0011_0002__VICTORY)
      & r_0011_0001__The_r_0011_0002__victory(R_0011_0001__THE_R_0011_0002__VICTORY)
      & has_r_0011_0003__for(R_0011_0001__THE_R_0011_0002__VICTORY,R_0011_0004__THE_R_0011_0006__UNDERDOG)
      & r_0011_0004__the_r_0011_0006__underdog(R_0011_0004__THE_R_0011_0006__UNDERDOG)
      & has_attrib13(R_0011_0004__THE_R_0011_0006__UNDERDOG,R_0011_0005__ULTIMATE) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N victory;{victory})
                  (PP (P-ROLE for;{for})
                      (NP (D the;{the})
                          (ADJP (ADJ ultimate;{ultimate}))
                          (N underdog;{underdog}))))
          (VBD;_phr_Vp_ came;{come[about]})
          (RP about;{about})
          (PP-NIM (P-ROLE with;{with})
                  (NP (NLYR (NLYR (NUM 42)
                                  (N <percnt>))
                            (CONJP (CONJ and;{and})
                                   (NLYR (ADJP (ADJR more;{more})
                                               (PP (P-ROLE than;{than})
                                                   (NP (NUM 9,000))))
                                         (NS votes;{vote})
                                         (IP-PPL (VVN;_Ipr_ cast;{cast[for]})
                                                 (PP-CLR (P-ROLE for;{for})
                                                         (NP (D the;{the})
                                                             (N hedgehog;{hedgehog})))))))))
          (PUNC .))
  (ID 11_a_hedgehog;speaker=Colvile))