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, qual66).
arc(r_0180_0029__but, r_0180_0026__one_r_0180_0027__party, conj1).
arc(r_0180_0029__but, z_000_180_a_hedgehog_80, conj2).
arc(r_0180_0030__all_quant, r_0180_0029__but, scope).
arc(r_0180_0030__all_quant, z_000_180_a_hedgehog_80, 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_0037__to_r_0180_0038__have, arg1).
arc(r_0180_0037__to_r_0180_0038__have, r_0180_0035__we, arg0).
arc(r_0180_0037__to_r_0180_0038__have, r_0180_0042__symbol, prd).
arc(r_0180_0037__to_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, attrib112).
arc(r_0180_0046__when, r_0180_0047__confronted, restriction).
arc(r_0180_0046__when, r_0180_0056__and, scope).
arc(r_0180_0047__confronted, r_0180_0043__an_r_0180_0044__animal, arg0).
arc(r_0180_0047__confronted, r_0180_0049__danger, r_0180_0048__with_clr135).
arc(r_0180_0050__rolls, r_0180_0043__an_r_0180_0044__animal, arg0).
arc(r_0180_0050__rolls, r_0180_0051__over, clr142).
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, attrib151).
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_000_180_a_hedgehog_12, r_0180_0003__you, arg0).
arc(z_000_180_a_hedgehog_12, r_0180_0005__Madam_r_0180_0006__Deputy_r_0180_0007__Speaker, prd).
arc(z_000_180_a_hedgehog_80, r_0180_0032__us, r_0180_0031__of).

fof(formula,axiom,
    ? [R_180_20_BECAUSE,R_180_9_AS,R_180_2_ASK,R_180_1_I,R_180_34_DO_WANT,R_180_37_TO_HAVE,R_180_43_AN_ANIMAL,R_180_42_SYMBOL,R_180_41_NATIONAL,R_180_35_WE,Z_180_A_HEDGEHOG_12,R_180_3_YOU,R_180_5_MADAM_DEPUTY_SPEAKER] :
      ( i(R_180_1_I)
      & an_animal(R_180_43_AN_ANIMAL)
      & national(R_180_41_NATIONAL)
      & we(R_180_35_WE)
      & you(R_180_3_YOU)
      & madam_Deputy_Speaker(R_180_5_MADAM_DEPUTY_SPEAKER)
      & ! [Z_180_A_HEDGEHOG_80,R_180_32_US] :
          ( ( us(R_180_32_US)
            & z_180_a_hedgehog_80(Z_180_A_HEDGEHOG_80)
            & of(Z_180_A_HEDGEHOG_80,R_180_32_US) )
         => ? [R_180_23_CONCERNS,R_180_21_THIS_QUESTION,R_180_29_BUT,R_180_26_ONE_PARTY,R_180_24_NOT_ONLY] :
              ( this_question(R_180_21_THIS_QUESTION)
              & not_only(R_180_24_NOT_ONLY)
              & concerns(R_180_23_CONCERNS,R_180_21_THIS_QUESTION,R_180_29_BUT)
              & but(R_180_29_BUT)
              & conj1(R_180_29_BUT,R_180_26_ONE_PARTY)
              & one_party(R_180_26_ONE_PARTY)
              & qual66(R_180_26_ONE_PARTY,R_180_24_NOT_ONLY)
              & conj2(R_180_29_BUT,Z_180_A_HEDGEHOG_80) ) )
      & conj1(CONJ1)
      & because(R_180_20_BECAUSE)
      & conj2(R_180_20_BECAUSE,R_180_9_AS)
      & ! [R_180_15_SIDES,R_180_17_THIS_HOUSE] :
          ( ( this_House(R_180_17_THIS_HOUSE)
            & sides(R_180_15_SIDES)
            & of(R_180_15_SIDES,R_180_17_THIS_HOUSE) )
         => ? [R_180_11_ASK,R_180_12_THOSE] :
              ( ask(R_180_11_ASK,R_180_1_I,R_180_12_THOSE)
              & those(R_180_12_THOSE)
              & on(R_180_12_THOSE,R_180_15_SIDES) ) )
      & conj1(CONJ1)
      & as(R_180_9_AS)
      & conj2(R_180_9_AS,R_180_2_ASK)
      & ask(R_180_2_ASK,R_180_1_I,R_180_34_DO_WANT,R_180_3_YOU)
      & do_want(R_180_34_DO_WANT,R_180_35_WE,R_180_37_TO_HAVE)
      & to_have(R_180_37_TO_HAVE,R_180_35_WE,R_180_43_AN_ANIMAL,R_180_42_SYMBOL)
      & symbol(R_180_42_SYMBOL)
      & attrib112(R_180_42_SYMBOL,R_180_41_NATIONAL)
      & gen(R_180_42_SYMBOL,R_180_35_WE)
      & ! [R_180_47_CONFRONTED,R_180_49_DANGER] :
          ( ( danger(R_180_49_DANGER)
            & confronted(R_180_47_CONFRONTED,R_180_43_AN_ANIMAL)
            & with_clr135(R_180_47_CONFRONTED,R_180_49_DANGER) )
         => ? [R_180_56_AND,R_180_50_ROLLS,R_180_51_OVER,R_180_53_A_BALL,R_180_54_LITTLE,R_180_57_PUTS_UP,R_180_59_SPIKES] :
              ( little(R_180_54_LITTLE)
              & and(R_180_56_AND)
              & conj1(R_180_56_AND,R_180_50_ROLLS)
              & rolls(R_180_50_ROLLS,R_180_43_AN_ANIMAL)
              & clr142(R_180_50_ROLLS,R_180_51_OVER)
              & over(R_180_51_OVER)
              & into(R_180_51_OVER,R_180_53_A_BALL)
              & a_ball(R_180_53_A_BALL)
              & attrib151(R_180_53_A_BALL,R_180_54_LITTLE)
              & conj2(R_180_56_AND,R_180_57_PUTS_UP)
              & puts_up(R_180_57_PUTS_UP,R_180_43_AN_ANIMAL,R_180_59_SPIKES)
              & spikes(R_180_59_SPIKES)
              & gen(R_180_59_SPIKES,R_180_43_AN_ANIMAL) ) )
      & z_180_a_hedgehog_12(Z_180_A_HEDGEHOG_12,R_180_3_YOU,R_180_5_MADAM_DEPUTY_SPEAKER) ) ).

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Dn.w_ ask;{ask})
          (NP-OB2 (PRO you;{you})
                  (PUNC ,)
                  (IP-PPL (NP-PRD;{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-PPL2 (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))