( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;_Tt_ like;{like})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ challenge;{challenge})
                                  (NP-OB1 (NP-GEN (NP-GEN (PRO;_genm_ my;{my}))
                                                  (N hon<dot>;{honorable})
                                                  (N Friend;{friend})
                                                  (GENM <apos>s))
                                          (N assertion;{assertion})
                                          (CP-THT (IP-SUB (C that;{that})
                                                          (NP-SBJ (D the;{the})
                                                                  (N hedgehog;{hedgehog}))
                                                          (MD;_cat_Vi_ should;{shall})
                                                          (IP-INF-CAT (VB;_Ln_ become;{become})
                                                                      (NP-PRD (NP-GEN (PRO;_genm_ our;{our}))
                                                                              (ADJP (ADJ national;{national}))
                                                                              (N symbol;{symbol}))))))))
          (PUNC .))
  (ID 179_a_hedgehog;speaker=Stewart))

arc(r_0179_0003__would,r_0179_0004__like,scope).
arc(r_0179_0004__like,r_0179_0002__I,arg0).
arc(r_0179_0004__like,r_0179_0006__challenge,arg1).
arc(r_0179_0006__challenge,r_0179_0002__I,arg0).
arc(r_0179_0006__challenge,r_0179_0011__assertion,arg1).
arc(r_0179_0008__hon_dot__r_0179_0009__Friend,r_0179_0002__I,gen).
arc(r_0179_0011__assertion,r_0179_0008__hon_dot__r_0179_0009__Friend,gen).
arc(r_0179_0011__assertion,r_0179_0015__should,emb).
arc(r_0179_0015__should,r_0179_0016__become,scope).
arc(r_0179_0016__become,r_0179_0013__the_r_0179_0014__hedgehog,arg0).
arc(r_0179_0016__become,r_0179_0019__symbol,prd).
arc(r_0179_0019__symbol,r_0179_0017__our,gen).
arc(r_0179_0019__symbol,r_0179_0018__national,attrib).

fof(formula,axiom,
    ? [R_0179_0002__I,R_0179_0008__HON_DOT__R_0179_0009__FRIEND,R_0179_0013__THE_R_0179_0014__HEDGEHOG,R_0179_0017__OUR,R_0179_0018__NATIONAL,R_0179_0019__SYMBOL,R_0179_0015__SHOULD_R_0179_0016__BECOME,R_0179_0011__ASSERTION,R_0179_0006__CHALLENGE,R_0179_0003__WOULD_R_0179_0004__LIKE] :
      ( r_0179_0002__I(R_0179_0002__I)
      & r_0179_0013__the_r_0179_0014__hedgehog(R_0179_0013__THE_R_0179_0014__HEDGEHOG)
      & r_0179_0017__our(R_0179_0017__OUR)
      & r_0179_0018__national(R_0179_0018__NATIONAL)
      & r_0179_0003__would_r_0179_0004__like(R_0179_0003__WOULD_R_0179_0004__LIKE)
      & has_arg1(R_0179_0003__WOULD_R_0179_0004__LIKE,R_0179_0006__CHALLENGE)
      & r_0179_0006__challenge(R_0179_0006__CHALLENGE)
      & has_arg1(R_0179_0006__CHALLENGE,R_0179_0011__ASSERTION)
      & r_0179_0011__assertion(R_0179_0011__ASSERTION)
      & has_emb(R_0179_0011__ASSERTION,R_0179_0015__SHOULD_R_0179_0016__BECOME)
      & r_0179_0015__should_r_0179_0016__become(R_0179_0015__SHOULD_R_0179_0016__BECOME)
      & has_prd(R_0179_0015__SHOULD_R_0179_0016__BECOME,R_0179_0019__SYMBOL)
      & r_0179_0019__symbol(R_0179_0019__SYMBOL)
      & has_attrib(R_0179_0019__SYMBOL,R_0179_0018__NATIONAL)
      & has_gen(R_0179_0019__SYMBOL,R_0179_0017__OUR)
      & has_arg0(R_0179_0015__SHOULD_R_0179_0016__BECOME,R_0179_0013__THE_R_0179_0014__HEDGEHOG)
      & has_gen(R_0179_0011__ASSERTION,R_0179_0008__HON_DOT__R_0179_0009__FRIEND)
      & r_0179_0008__hon_dot__r_0179_0009__Friend(R_0179_0008__HON_DOT__R_0179_0009__FRIEND)
      & has_gen(R_0179_0008__HON_DOT__R_0179_0009__FRIEND,R_0179_0002__I)
      & has_arg0(R_0179_0006__CHALLENGE,R_0179_0002__I)
      & has_arg0(R_0179_0003__WOULD_R_0179_0004__LIKE,R_0179_0002__I) ) ).