TSPC 180_a_hedgehog

180_a_hedgehog
I ask you, Madam Deputy Speaker, as I ask those on both sides of this House, because this question concerns not only one party, but all of us: do we want to have as our national symbol an animal which when confronted with danger rolls over into a little ball and puts its spikes up?

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Dn.w_ ask;{ask})
          (NP-OB2 (PRO you;{you})
                  (PUNC ,)
                  (PRN (NP;{LAING} (NPR Madam;{Madam})
                                   (NPR Deputy;{Deputy})
                                   (NPR Speaker;{Speaker}))))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBP;_Tn_ ask;{ask})
                           (NP-OB1 (D;_nphd_ those;{those})
                                   (PP (P-ROLE on;{on})
                                       (NP (Q both;{both})
                                           (NS sides;{side})
                                           (PP (P-ROLE of;{of})
                                               (NP (D this;{this})
                                                   (NPR House;{House}))))))))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ (D this;{this})
                                   (N question;{question}))
                           (VBP;_Tn_ concerns;{concern})
                           (NP-OB1 (NLYR (NLYR (ADVP (NEG not;{not})
                                                     (ADV only;{only}))
                                               (NUM one;{one})
                                               (N party;{party}))
                                         (PUNC ,)
                                         (CONJP (CONJ but;{but})
                                                (NLYR (Q;_nphd_ all;{all})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (PRO us;{we})))))))))
          (PUNC :)
          (CP-QUE-OB1 (IP-SUB (DOP do;{do})
                              (NP-SBJ (PRO we;{we}))
                              (VB;_Tt_ want;{want})
                              (IP-INF-OB1 (TO to;{to})
                                          (HV;_Cn.n/a_ have;{have[as]})
                                          (PP-PRD (P-ROLE as;{as})
                                                  (NP (NP-GEN (PRO;_genm_ our;{our}))
                                                      (ADJP (ADJ national;{national}))
                                                      (N symbol;{symbol})))
                                          (NP-OB1;{ANIMAL} (D an;{an})
                                                           (N animal;{animal})
                                                           (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                   (PP-SCON (P-CONN when;{when})
                                                                            (IP-PPL (VVN;_Ipr_ confronted;{confront[with]})
                                                                                    (PP-CLR (P-ROLE with;{with})
                                                                                            (NP (N danger;{danger})))))
                                                                   (ILYR (ILYR (VBP;_Ip_ rolls;{roll[over]})
                                                                               (ADVP-CLR (ADV over;{over})
                                                                                         (PP (P-ROLE into;{into})
                                                                                             (NP (D a;{a})
                                                                                                 (ADJP (ADJ little;{little}))
                                                                                                 (N ball;{ball})))))
                                                                         (CONJP (CONJ and;{and})
                                                                                (ILYR (VBP;_phr_Vn<=>p_ puts;{put[up]})
                                                                                      (NP-OB1 (NP-GEN;{ANIMAL} (PRO;_genm_ its;{its}))
                                                                                              (NS spikes;{spike}))
                                                                                      (RP up;{up})))))))))
          (PUNC ?))
  (ID 180_a_hedgehog;speaker=Stewart))

arc(r_0180_0002__ask,r_0180_0001__I,arg0).
arc(r_0180_0002__ask,r_0180_0003__you,arg2).
arc(r_0180_0002__ask,r_0180_0034__do_r_0180_0036__want,arg1).
arc(r_0180_0009__as,r_0180_0002__ask,scope).
arc(r_0180_0009__as,r_0180_0011__ask,restriction).
arc(r_0180_0011__ask,r_0180_0001__I,arg0).
arc(r_0180_0011__ask,r_0180_0012__those,arg1).
arc(r_0180_0012__those,r_0180_0015__sides,r_0180_0013__on).
arc(r_0180_0014__both__quant,r_0180_0012__those,scope).
arc(r_0180_0014__both__quant,r_0180_0015__sides,restriction).
arc(r_0180_0015__sides,r_0180_0017__this_r_0180_0018__House,r_0180_0016__of).
arc(r_0180_0020__because,r_0180_0009__as,scope).
arc(r_0180_0020__because,r_0180_0023__concerns,restriction).
arc(r_0180_0023__concerns,r_0180_0021__this_r_0180_0022__question,arg0).
arc(r_0180_0023__concerns,r_0180_0029__but,arg1).
arc(r_0180_0026__one_r_0180_0027__party,r_0180_0024__not_r_0180_0025__only,qual).
arc(r_0180_0029__but,r_0180_0026__one_r_0180_0027__party,conj1).
arc(r_0180_0029__but,z_0180_5030,conj2).
arc(r_0180_0030__all__quant,r_0180_0029__but,scope).
arc(r_0180_0030__all__quant,z_0180_5030,restriction).
arc(r_0180_0034__do_r_0180_0036__want,r_0180_0035__we,arg0).
arc(r_0180_0034__do_r_0180_0036__want,r_0180_0038__have,arg1).
arc(r_0180_0038__have,r_0180_0035__we,arg0).
arc(r_0180_0038__have,r_0180_0042__symbol,r_0180_0039__as__prd).
arc(r_0180_0038__have,r_0180_0043__an_r_0180_0044__animal,arg1).
arc(r_0180_0042__symbol,r_0180_0035__we,gen).
arc(r_0180_0042__symbol,r_0180_0041__national,attrib).
arc(r_0180_0046__when,r_0180_0047__confronted_r_0180_0048__with,restriction).
arc(r_0180_0046__when,r_0180_0056__and,scope).
arc(r_0180_0047__confronted_r_0180_0048__with,r_0180_0043__an_r_0180_0044__animal,arg0).
arc(r_0180_0047__confronted_r_0180_0048__with,r_0180_0049__danger,arg1).
arc(r_0180_0050__rolls,r_0180_0043__an_r_0180_0044__animal,arg0).
arc(r_0180_0050__rolls,r_0180_0051__over,clr).
arc(r_0180_0051__over,r_0180_0053__a_r_0180_0055__ball,r_0180_0052__into).
arc(r_0180_0053__a_r_0180_0055__ball,r_0180_0054__little,attrib).
arc(r_0180_0056__and,r_0180_0050__rolls,conj1).
arc(r_0180_0056__and,r_0180_0057__puts_r_0180_0060__up,conj2).
arc(r_0180_0057__puts_r_0180_0060__up,r_0180_0043__an_r_0180_0044__animal,arg0).
arc(r_0180_0057__puts_r_0180_0060__up,r_0180_0059__spikes,arg1).
arc(r_0180_0059__spikes,r_0180_0043__an_r_0180_0044__animal,gen).
arc(z_0180_5001,r_0180_0003__you,arg0).
arc(z_0180_5001,r_0180_0005__Madam_r_0180_0006__Deputy_r_0180_0007__Speaker,prd).
arc(z_0180_5030,r_0180_0032__us,r_0180_0031__of).

fof(formula,axiom,
    ? [R_0180_0001__I,R_0180_0003__YOU,R_0180_0035__WE,R_0180_0041__NATIONAL,R_0180_0042__SYMBOL,R_0180_0043__AN_R_0180_0044__ANIMAL,R_0180_0038__HAVE,R_0180_0034__DO_R_0180_0036__WANT,R_0180_0002__ASK,R_0180_0009__AS,R_0180_0020__BECAUSE,R_0180_0005__MADAM_R_0180_0006__DEPUTY_R_0180_0007__SPEAKER,Z_0180_5001] :
      ( r_0180_0001__I(R_0180_0001__I)
      & r_0180_0003__you(R_0180_0003__YOU)
      & r_0180_0005__Madam_r_0180_0006__Deputy_r_0180_0007__Speaker(R_0180_0005__MADAM_R_0180_0006__DEPUTY_R_0180_0007__SPEAKER)
      & r_0180_0035__we(R_0180_0035__WE)
      & r_0180_0041__national(R_0180_0041__NATIONAL)
      & r_0180_0043__an_r_0180_0044__animal(R_0180_0043__AN_R_0180_0044__ANIMAL)
      & z_0180_5001(Z_0180_5001)
      & has_prd(Z_0180_5001,R_0180_0005__MADAM_R_0180_0006__DEPUTY_R_0180_0007__SPEAKER)
      & has_arg0(Z_0180_5001,R_0180_0003__YOU)
      & ! [R_0180_0047__CONFRONTED_R_0180_0048__WITH,R_0180_0049__DANGER] :
          ( ( r_0180_0049__danger(R_0180_0049__DANGER)
            & r_0180_0047__confronted_r_0180_0048__with(R_0180_0047__CONFRONTED_R_0180_0048__WITH)
            & has_arg1(R_0180_0047__CONFRONTED_R_0180_0048__WITH,R_0180_0049__DANGER)
            & has_arg0(R_0180_0047__CONFRONTED_R_0180_0048__WITH,R_0180_0043__AN_R_0180_0044__ANIMAL) )
         => ? [R_0180_0054__LITTLE,R_0180_0053__A_R_0180_0055__BALL,R_0180_0051__OVER,R_0180_0050__ROLLS,R_0180_0059__SPIKES,R_0180_0057__PUTS_R_0180_0060__UP,R_0180_0056__AND] :
              ( r_0180_0054__little(R_0180_0054__LITTLE)
              & r_0180_0056__and(R_0180_0056__AND)
              & has_conj2(R_0180_0056__AND,R_0180_0057__PUTS_R_0180_0060__UP)
              & r_0180_0057__puts_r_0180_0060__up(R_0180_0057__PUTS_R_0180_0060__UP)
              & has_arg1(R_0180_0057__PUTS_R_0180_0060__UP,R_0180_0059__SPIKES)
              & r_0180_0059__spikes(R_0180_0059__SPIKES)
              & has_gen(R_0180_0059__SPIKES,R_0180_0043__AN_R_0180_0044__ANIMAL)
              & has_arg0(R_0180_0057__PUTS_R_0180_0060__UP,R_0180_0043__AN_R_0180_0044__ANIMAL)
              & has_conj1(R_0180_0056__AND,R_0180_0050__ROLLS)
              & r_0180_0050__rolls(R_0180_0050__ROLLS)
              & has_clr(R_0180_0050__ROLLS,R_0180_0051__OVER)
              & r_0180_0051__over(R_0180_0051__OVER)
              & has_r_0180_0052__into(R_0180_0051__OVER,R_0180_0053__A_R_0180_0055__BALL)
              & r_0180_0053__a_r_0180_0055__ball(R_0180_0053__A_R_0180_0055__BALL)
              & has_attrib(R_0180_0053__A_R_0180_0055__BALL,R_0180_0054__LITTLE)
              & has_arg0(R_0180_0050__ROLLS,R_0180_0043__AN_R_0180_0044__ANIMAL) ) )
      & r_0180_0020__because(R_0180_0020__BECAUSE)
      & ! [Z_0180_5030,R_0180_0032__US] :
          ( ( r_0180_0032__us(R_0180_0032__US)
            & z_0180_5030(Z_0180_5030)
            & has_r_0180_0031__of(Z_0180_5030,R_0180_0032__US) )
         => ? [R_0180_0021__THIS_R_0180_0022__QUESTION,R_0180_0024__NOT_R_0180_0025__ONLY,R_0180_0026__ONE_R_0180_0027__PARTY,R_0180_0029__BUT,R_0180_0023__CONCERNS] :
              ( r_0180_0021__this_r_0180_0022__question(R_0180_0021__THIS_R_0180_0022__QUESTION)
              & r_0180_0024__not_r_0180_0025__only(R_0180_0024__NOT_R_0180_0025__ONLY)
              & r_0180_0023__concerns(R_0180_0023__CONCERNS)
              & has_arg1(R_0180_0023__CONCERNS,R_0180_0029__BUT)
              & r_0180_0029__but(R_0180_0029__BUT)
              & has_conj2(R_0180_0029__BUT,Z_0180_5030)
              & has_conj1(R_0180_0029__BUT,R_0180_0026__ONE_R_0180_0027__PARTY)
              & r_0180_0026__one_r_0180_0027__party(R_0180_0026__ONE_R_0180_0027__PARTY)
              & has_qual(R_0180_0026__ONE_R_0180_0027__PARTY,R_0180_0024__NOT_R_0180_0025__ONLY)
              & has_arg0(R_0180_0023__CONCERNS,R_0180_0021__THIS_R_0180_0022__QUESTION) ) )
      & has_conj2(R_0180_0020__BECAUSE,R_0180_0009__AS)
      & r_0180_0009__as(R_0180_0009__AS)
      & ! [R_0180_0015__SIDES,R_0180_0017__THIS_R_0180_0018__HOUSE] :
          ( ( r_0180_0017__this_r_0180_0018__House(R_0180_0017__THIS_R_0180_0018__HOUSE)
            & r_0180_0015__sides(R_0180_0015__SIDES)
            & has_r_0180_0016__of(R_0180_0015__SIDES,R_0180_0017__THIS_R_0180_0018__HOUSE) )
         => ? [R_0180_0012__THOSE,R_0180_0011__ASK] :
              ( r_0180_0011__ask(R_0180_0011__ASK)
              & has_arg1(R_0180_0011__ASK,R_0180_0012__THOSE)
              & r_0180_0012__those(R_0180_0012__THOSE)
              & has_r_0180_0013__on(R_0180_0012__THOSE,R_0180_0015__SIDES)
              & has_arg0(R_0180_0011__ASK,R_0180_0001__I) ) )
      & has_conj2(R_0180_0009__AS,R_0180_0002__ASK)
      & r_0180_0002__ask(R_0180_0002__ASK)
      & has_arg1(R_0180_0002__ASK,R_0180_0034__DO_R_0180_0036__WANT)
      & r_0180_0034__do_r_0180_0036__want(R_0180_0034__DO_R_0180_0036__WANT)
      & has_arg1(R_0180_0034__DO_R_0180_0036__WANT,R_0180_0038__HAVE)
      & r_0180_0038__have(R_0180_0038__HAVE)
      & has_arg1(R_0180_0038__HAVE,R_0180_0043__AN_R_0180_0044__ANIMAL)
      & has_r_0180_0039__as__prd(R_0180_0038__HAVE,R_0180_0042__SYMBOL)
      & r_0180_0042__symbol(R_0180_0042__SYMBOL)
      & has_attrib(R_0180_0042__SYMBOL,R_0180_0041__NATIONAL)
      & has_gen(R_0180_0042__SYMBOL,R_0180_0035__WE)
      & has_arg0(R_0180_0038__HAVE,R_0180_0035__WE)
      & has_arg0(R_0180_0034__DO_R_0180_0036__WANT,R_0180_0035__WE)
      & has_arg2(R_0180_0002__ASK,R_0180_0003__YOU)
      & has_arg0(R_0180_0002__ASK,R_0180_0001__I) ) ).