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

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,attrib).
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__nim).
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,attrib).
arc(r_0011_0017__cast_r_0011_0018__for,r_0011_0016__votes,inv_arg0).
arc(r_0011_0017__cast_r_0011_0018__for,r_0011_0019__the_r_0011_0020__hedgehog,arg1).

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_0019__THE_R_0011_0020__HEDGEHOG,R_0011_0017__CAST_R_0011_0018__FOR,R_0011_0016__VOTES,R_0011_0012__AND,R_0011_0007__CAME_R_0011_0008__ABOUT] :
      ( 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_0007__came_r_0011_0008__about(R_0011_0007__CAME_R_0011_0008__ABOUT)
      & has_r_0011_0009__with__nim(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)
      & r_0011_0016__votes(R_0011_0016__VOTES)
      & has_inv_arg0(R_0011_0016__VOTES,R_0011_0017__CAST_R_0011_0018__FOR)
      & r_0011_0017__cast_r_0011_0018__for(R_0011_0017__CAST_R_0011_0018__FOR)
      & has_arg1(R_0011_0017__CAST_R_0011_0018__FOR,R_0011_0019__THE_R_0011_0020__HEDGEHOG)
      & has_attrib(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)
      & 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_attrib(R_0011_0004__THE_R_0011_0006__UNDERDOG,R_0011_0005__ULTIMATE) ) ).