arc(r_0185_0002__says, r_0185_0001__He, arg0).
arc(r_0185_0002__says, utterance_185_a_hedgehog_9, arg1).
arc(r_0185_0005__When, r_0185_0008__travels, restriction).
arc(r_0185_0005__When, r_0185_0015__may, scope).
arc(r_0185_0008__travels, r_0185_0006__the_r_0185_0007__hedgehog, arg0).
arc(r_0185_0008__travels, r_0185_0009__furtively, nim24).
arc(r_0185_0008__travels, r_0185_0011__the_r_0185_0012__lawn, r_0185_0010__over_clr30).
arc(r_0185_0015__may, r_0185_0016__say, scope).
arc(r_0185_0016__say, r_0185_0014__One, arg0).
arc(r_0185_0016__say, utterance_185_a_hedgehog_49, arg1).
arc(r_0185_0020__strove, r_0185_0019__He, arg0).
arc(r_0185_0021__that, r_0185_0020__strove, scope).
arc(r_0185_0021__that, r_0185_0025__should, restriction).
arc(r_0185_0024__creatures, r_0185_0022__such, attrib61).
arc(r_0185_0024__creatures, r_0185_0023__innocent, attrib64).
arc(r_0185_0025__should, r_0185_0028__no_quant, scope).
arc(r_0185_0026__come, r_0185_0024__creatures, arg0).
arc(r_0185_0026__come, r_0185_0029__harm, r_0185_0027__to_clr77).
arc(r_0185_0028__no_quant, r_0185_0026__come, scope).
arc(r_0185_0028__no_quant, r_0185_0029__harm, restriction).
arc(r_0185_0033__could, r_0185_0034__do, scope).
arc(r_0185_0034__do, r_0185_0032__he, arg0).
arc(r_0185_0034__do, z_000_185_a_hedgehog_97, arg1).
arc(r_0185_0039__and, r_0185_0033__could, conj1).
arc(r_0185_0039__and, r_0185_0042__is, conj2).
arc(r_0185_0042__is, r_0185_0040__now, nim113).
arc(r_0185_0042__is, r_0185_0041__he, arg0).
arc(r_0185_0042__is, r_0185_0043__gone, prd).
arc(utterance_185_a_hedgehog_49, r_0185_0021__that, part1).
arc(utterance_185_a_hedgehog_49, r_0185_0039__and, part2).
arc(utterance_185_a_hedgehog_9, r_0185_0005__When, part1).
arc(z_000_185_a_hedgehog_97, r_0185_0024__creatures, r_0185_0036__for).
arc(z_000_185_a_hedgehog_97, r_0185_0035__little, attrib98).

fof(formula,axiom,
    ? [R_185_2_SAYS,R_185_1_HE,UTTERANCE_185_A_HEDGEHOG_9] :
      ( he(R_185_1_HE)
      & says(R_185_2_SAYS,R_185_1_HE,UTTERANCE_185_A_HEDGEHOG_9)
      & ! [R_185_8_TRAVELS,R_185_6_THE_HEDGEHOG,R_185_9_FURTIVELY,R_185_11_THE_LAWN] :
          ( ( the_hedgehog(R_185_6_THE_HEDGEHOG)
            & furtively(R_185_9_FURTIVELY)
            & the_lawn(R_185_11_THE_LAWN)
            & travels(R_185_8_TRAVELS,R_185_6_THE_HEDGEHOG)
            & nim24(R_185_8_TRAVELS,R_185_9_FURTIVELY)
            & over_clr30(R_185_8_TRAVELS,R_185_11_THE_LAWN) )
         => ? [R_185_15_MAY_SAY,R_185_14_ONE,UTTERANCE_185_A_HEDGEHOG_49,R_185_21_THAT,R_185_20_STROVE,R_185_19_HE,R_185_39_AND,R_185_33_COULD_DO,R_185_32_HE,Z_185_A_HEDGEHOG_97,R_185_35_LITTLE,R_185_24_CREATURES,R_185_22_SUCH,R_185_23_INNOCENT,R_185_42_IS,R_185_41_HE,R_185_40_NOW,R_185_43_GONE] :
              ( one(R_185_14_ONE)
              & he(R_185_19_HE)
              & he(R_185_32_HE)
              & little(R_185_35_LITTLE)
              & such(R_185_22_SUCH)
              & innocent(R_185_23_INNOCENT)
              & he(R_185_41_HE)
              & now(R_185_40_NOW)
              & gone(R_185_43_GONE)
              & may_say(R_185_15_MAY_SAY,R_185_14_ONE,UTTERANCE_185_A_HEDGEHOG_49)
              & utterance_185_a_hedgehog_49(UTTERANCE_185_A_HEDGEHOG_49)
              & part1(UTTERANCE_185_A_HEDGEHOG_49,R_185_21_THAT)
              & that(R_185_21_THAT)
              & conj1(R_185_21_THAT,R_185_25_SHOULD)
              & ~ ! [R_185_29_HARM] :
                    ( harm(R_185_29_HARM)
                   => ? [R_185_26_COME] :
                        ( come(R_185_26_COME,R_185_24_CREATURES)
                        & to_clr77(R_185_26_COME,R_185_29_HARM) ) )
              & conj2(R_185_21_THAT,R_185_20_STROVE)
              & strove(R_185_20_STROVE,R_185_19_HE)
              & part2(UTTERANCE_185_A_HEDGEHOG_49,R_185_39_AND)
              & and(R_185_39_AND)
              & conj1(R_185_39_AND,R_185_33_COULD_DO)
              & could_do(R_185_33_COULD_DO,R_185_32_HE,Z_185_A_HEDGEHOG_97)
              & z_185_a_hedgehog_97(Z_185_A_HEDGEHOG_97)
              & attrib98(Z_185_A_HEDGEHOG_97,R_185_35_LITTLE)
              & for(Z_185_A_HEDGEHOG_97,R_185_24_CREATURES)
              & creatures(R_185_24_CREATURES)
              & attrib61(R_185_24_CREATURES,R_185_22_SUCH)
              & attrib64(R_185_24_CREATURES,R_185_23_INNOCENT)
              & conj2(R_185_39_AND,R_185_42_IS)
              & is(R_185_42_IS,R_185_41_HE,R_185_43_GONE)
              & nim113(R_185_42_IS,R_185_40_NOW) ) )
      & part1(PART1)
      & utterance_185_a_hedgehog_9(UTTERANCE_185_A_HEDGEHOG_9) ) ).

( (IP-MAT (NP-SBJ;{HARDY} (PRO He;{he}))
          (VBP;_Tr_ says;{say})
          (PUNC :)
          (utterance-OB1 (IP-MAT (PULQ <ldquo>)
                                 (PP-SCON (P-CONN When;{when})
                                          (IP-ADV (NP-SBJ;{HEDGEHOG} (D the;{the})
                                                                     (N hedgehog;{hedgehog}))
                                                  (VBP;_Ipr_ travels;{travel[over]})
                                                  (ADVP-NIM (ADV furtively;{furtively}))
                                                  (PP-CLR (P-ROLE over;{over})
                                                          (NP (D the;{the})
                                                              (N lawn;{lawn})))))
                                 (PUNC ,)
                                 (NP-SBJ (NUM One;{one}))
                                 (MD;_cat_Vi_ may;{may})
                                 (IP-INF-CAT (VB;_Tr_ say;{say})
                                             (PUNC ,)
                                             (PULQ <lquo>)
                                             (utterance-OB1 (IP-MAT (NP-SBJ;{PERSON} (PRO He;{he}))
                                                                    (VBP;_I_ strove;{strive})
                                                                    (PP-SCON (P-CONN that;{that})
                                                                             (IP-ADV (NP-SBJ;{HEDGEHOGS} (ADJP (ADJ;_such_ such;{such}))
                                                                                                         (ADJP (ADJ innocent;{innocent}))
                                                                                                         (NS creatures;{creature}))
                                                                                     (MD;_cat_Vi_ should;{shall})
                                                                                     (IP-INF-CAT (VB;_Ipr_ come;{come[to]})
                                                                                                 (PP-CLR (P-ROLE to;{to})
                                                                                                         (NP (Q no;{no})
                                                                                                             (N harm;{harm}))))))
                                                                    (PUNC ,))
                                                            (IP-MAT (CONJ;_cl_ But;{but})
                                                                    (ILYR (ILYR (NP-SBJ;{PERSON} (PRO he;{he}))
                                                                                (MD;_cat_Vi_ could;{can})
                                                                                (IP-INF-CAT (DO;_Tn_ do;{do})
                                                                                            (NP-OB1 (ADJP (ADJ little;{little}))
                                                                                                    (PP (P-ROLE for;{for})
                                                                                                        (NP;{HEDGEHOGS} (PRO them;{they}))))))
                                                                          (PUNC ;)
                                                                          (CONJP (CONJ and;{and})
                                                                                 (ILYR (ADVP-NIM (ADV now;{now}))
                                                                                       (NP-SBJ;{PERSON} (PRO he;{he}))
                                                                                       (BEP;_La_ is;{be})
                                                                                       (ADJP-PRD (ADJ gone;{go}))))))))
                                 (PUNC .)))
          (PURQ <rquo>))
  (ID 185_a_hedgehog;speaker=Stewart))