arc(r_0015_0002__is, r_0015_0001__That, arg0).
arc(r_0015_0002__is, r_0015_0005__am, prd).
arc(r_0015_0005__am, r_0015_0003__why, nim9).
arc(r_0015_0005__am, r_0015_0006__calling, scope).
arc(r_0015_0006__calling, r_0015_0004__I, arg0).
arc(r_0015_0006__calling, r_0015_0009__hon_dot__r_0015_0010__Friend, arg2).
arc(r_0015_0006__calling, z_000_15_a_hedgehog_50, arg1).
arc(r_0015_0009__hon_dot__r_0015_0010__Friend, r_0015_0004__I, gen).
arc(r_0015_0013__to_r_0015_0014__hold, r_0015_0009__hon_dot__r_0015_0010__Friend, arg0).
arc(r_0015_0013__to_r_0015_0014__hold, r_0015_0015__a_r_0015_0017__campaign, arg1).
arc(r_0015_0015__a_r_0015_0017__campaign, r_0015_0016__national, attrib45).
arc(r_0015_0018__to_r_0015_0019__identify, r_0015_0009__hon_dot__r_0015_0010__Friend, arg0).
arc(r_0015_0018__to_r_0015_0019__identify, r_0015_0022__should, arg1).
arc(r_0015_0022__should, r_0015_0023__be, scope).
arc(r_0015_0023__be, r_0015_0020__which_r_0015_0021__animal, arg0).
arc(r_0015_0023__be, r_0015_0027__species, prd).
arc(r_0015_0027__species, r_0015_0024__our, gen).
arc(r_0015_0027__species, r_0015_0025__designated, attrib72).
arc(r_0015_0027__species, r_0015_0026__national, attrib75).
arc(z_000_15_a_hedgehog_31, r_0015_0009__hon_dot__r_0015_0010__Friend, arg0).
arc(z_000_15_a_hedgehog_31, r_0015_0011__the_r_0015_0012__Minister, prd).
arc(z_000_15_a_hedgehog_50, r_0015_0013__to_r_0015_0014__hold, scope).
arc(z_000_15_a_hedgehog_50, r_0015_0018__to_r_0015_0019__identify, restriction).

fof(formula,axiom,
    ? [R_0015_0001__THAT,R_0015_0003__WHY,R_0015_0004__I,R_0015_0009__HON_DOT__R_0015_0010__FRIEND,R_0015_0016__NATIONAL,R_0015_0015__A_R_0015_0017__CAMPAIGN,R_0015_0013__TO_R_0015_0014__HOLD,R_0015_0020__WHICH_R_0015_0021__ANIMAL,R_0015_0024__OUR,R_0015_0025__DESIGNATED,R_0015_0026__NATIONAL,R_0015_0027__SPECIES,R_0015_0022__SHOULD_R_0015_0023__BE,R_0015_0018__TO_R_0015_0019__IDENTIFY,Z_000_15_A_HEDGEHOG_50,R_0015_0005__AM_R_0015_0006__CALLING,R_0015_0002__IS,R_0015_0011__THE_R_0015_0012__MINISTER,Z_000_15_A_HEDGEHOG_31] :
      ( r_0015_0001__That(R_0015_0001__THAT)
      & r_0015_0003__why(R_0015_0003__WHY)
      & r_0015_0004__I(R_0015_0004__I)
      & r_0015_0011__the_r_0015_0012__Minister(R_0015_0011__THE_R_0015_0012__MINISTER)
      & r_0015_0016__national(R_0015_0016__NATIONAL)
      & r_0015_0020__which_r_0015_0021__animal(R_0015_0020__WHICH_R_0015_0021__ANIMAL)
      & r_0015_0024__our(R_0015_0024__OUR)
      & r_0015_0025__designated(R_0015_0025__DESIGNATED)
      & r_0015_0026__national(R_0015_0026__NATIONAL)
      & z_000_15_a_hedgehog_31(Z_000_15_A_HEDGEHOG_31)
      & has_prd(Z_000_15_A_HEDGEHOG_31,R_0015_0011__THE_R_0015_0012__MINISTER)
      & has_arg0(Z_000_15_A_HEDGEHOG_31,R_0015_0009__HON_DOT__R_0015_0010__FRIEND)
      & r_0015_0009__hon_dot__r_0015_0010__Friend(R_0015_0009__HON_DOT__R_0015_0010__FRIEND)
      & has_gen(R_0015_0009__HON_DOT__R_0015_0010__FRIEND,R_0015_0004__I)
      & r_0015_0002__is(R_0015_0002__IS)
      & has_prd(R_0015_0002__IS,R_0015_0005__AM_R_0015_0006__CALLING)
      & r_0015_0005__am_r_0015_0006__calling(R_0015_0005__AM_R_0015_0006__CALLING)
      & has_arg1(R_0015_0005__AM_R_0015_0006__CALLING,Z_000_15_A_HEDGEHOG_50)
      & z_000_15_a_hedgehog_50(Z_000_15_A_HEDGEHOG_50)
      & has_conj1(Z_000_15_A_HEDGEHOG_50,R_0015_0018__TO_R_0015_0019__IDENTIFY)
      & r_0015_0018__to_r_0015_0019__identify(R_0015_0018__TO_R_0015_0019__IDENTIFY)
      & has_arg1(R_0015_0018__TO_R_0015_0019__IDENTIFY,R_0015_0022__SHOULD_R_0015_0023__BE)
      & r_0015_0022__should_r_0015_0023__be(R_0015_0022__SHOULD_R_0015_0023__BE)
      & has_prd(R_0015_0022__SHOULD_R_0015_0023__BE,R_0015_0027__SPECIES)
      & r_0015_0027__species(R_0015_0027__SPECIES)
      & has_attrib75(R_0015_0027__SPECIES,R_0015_0026__NATIONAL)
      & has_attrib72(R_0015_0027__SPECIES,R_0015_0025__DESIGNATED)
      & has_gen(R_0015_0027__SPECIES,R_0015_0024__OUR)
      & has_arg0(R_0015_0022__SHOULD_R_0015_0023__BE,R_0015_0020__WHICH_R_0015_0021__ANIMAL)
      & has_arg0(R_0015_0018__TO_R_0015_0019__IDENTIFY,R_0015_0009__HON_DOT__R_0015_0010__FRIEND)
      & has_conj2(Z_000_15_A_HEDGEHOG_50,R_0015_0013__TO_R_0015_0014__HOLD)
      & r_0015_0013__to_r_0015_0014__hold(R_0015_0013__TO_R_0015_0014__HOLD)
      & has_arg1(R_0015_0013__TO_R_0015_0014__HOLD,R_0015_0015__A_R_0015_0017__CAMPAIGN)
      & r_0015_0015__a_r_0015_0017__campaign(R_0015_0015__A_R_0015_0017__CAMPAIGN)
      & has_attrib45(R_0015_0015__A_R_0015_0017__CAMPAIGN,R_0015_0016__NATIONAL)
      & has_arg0(R_0015_0013__TO_R_0015_0014__HOLD,R_0015_0009__HON_DOT__R_0015_0010__FRIEND)
      & has_arg2(R_0015_0005__AM_R_0015_0006__CALLING,R_0015_0009__HON_DOT__R_0015_0010__FRIEND)
      & has_arg0(R_0015_0005__AM_R_0015_0006__CALLING,R_0015_0004__I)
      & has_nim9(R_0015_0005__AM_R_0015_0006__CALLING,R_0015_0003__WHY)
      & has_arg0(R_0015_0002__IS,R_0015_0001__THAT) ) ).

( (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
          (BEP;_equ_Vw_ is;{be})
          (CP-QUE-PRD (IP-SUB (ADVP-NIM (WADV why;{why}))
                              (NP-SBJ (PRO I;{I}))
                              (BEP;_cat_Vg_ am;{be})
                              (IP-PPL-CAT (VAG;_Dpr.t_ calling;{call[on]})
                                          (PP-OB2 (P-ROLE on;{on})
                                                  (NP (NP-GEN (PRO;_genm_ my;{my}))
                                                      (N hon<dot>;{honorable})
                                                      (N Friend;{friend})
                                                      (IP-PPL (NP-PRD (D the;{the})
                                                                      (NPR Minister;{Minister})))))
                                          (IP-INF-OB1 (TO to;{to})
                                                      (VB;_Tn_ hold;{hold})
                                                      (NP-OB1 (D a;{a})
                                                              (ADJP (ADJ national;{national}))
                                                              (N campaign;{campaign}))
                                                      (PP-SCON (IP-INF (TO to;{to})
                                                                       (VB;_Tw_ identify;{identify})
                                                                       (CP-QUE-OB1 (IP-SUB (NP-SBJ (WD which;{which})
                                                                                                   (N animal;{animal}))
                                                                                           (MD;_cat_Vi_ should;{shall})
                                                                                           (IP-INF-CAT (BE;_Ln_ be;{be})
                                                                                                       (NP-PRD (NP-GEN (PRO;_genm_ our;{our}))
                                                                                                               (ADJP (ADJ designated;{designated}))
                                                                                                               (ADJP (ADJ national;{national}))
                                                                                                               (NS species;{specie})))))))))))
          (PUNC .))
  (ID 15_a_hedgehog;speaker=Colvile))