TSPC 144_a_hedgehog

144_a_hedgehog
It does not do well in peatland or in dense, heavy native woodland.

( (IP-MAT (NP-SBJ;{HEDGEHOG} (PRO It;{it}))
          (DOP does;{do})
          (NEG not;{not})
          (DO;_I_ do;{do})
          (ADVP-NIM (ADV well;{well}))
          (PP-NIM (PP-NIM (P-ROLE in;{in})
                          (NP (N peatland;{peatland})))
                  (CONJP (CONJ or;{or})
                         (PP-NIM (P-ROLE in;{in})
                                 (NP (ADJP (ADJ dense;{dense}))
                                     (PUNC ,)
                                     (ADJP (ADJ heavy;{heavy}))
                                     (ADJP (ADJ native;{native}))
                                     (N woodland;{woodland})))))
          (PUNC .))
  (ID 144_a_hedgehog;speaker=Stewart))

arc(r_0144_0002__does_r_0144_0004__do,r_0144_0001__It,arg0).
arc(r_0144_0002__does_r_0144_0004__do,r_0144_0005__well,nim).
arc(r_0144_0002__does_r_0144_0004__do,r_0144_0008__or,nim).
arc(r_0144_0003__not,r_0144_0002__does_r_0144_0004__do,keep_scope).
arc(r_0144_0008__or,r_0144_0007__peatland,r_0144_0006__in__nim).
arc(r_0144_0008__or,r_0144_0014__woodland,r_0144_0009__in__nim).
arc(r_0144_0014__woodland,r_0144_0010__dense,attrib).
arc(r_0144_0014__woodland,r_0144_0012__heavy,attrib).
arc(r_0144_0014__woodland,r_0144_0013__native,attrib).

fof(formula,axiom,
    ~ ? [R_0144_0001__IT,R_0144_0005__WELL,R_0144_0007__PEATLAND,R_0144_0010__DENSE,R_0144_0012__HEAVY,R_0144_0013__NATIVE,R_0144_0014__WOODLAND,R_0144_0008__OR,R_0144_0002__DOES_R_0144_0004__DO] :
        ( r_0144_0001__It(R_0144_0001__IT)
        & r_0144_0005__well(R_0144_0005__WELL)
        & r_0144_0007__peatland(R_0144_0007__PEATLAND)
        & r_0144_0010__dense(R_0144_0010__DENSE)
        & r_0144_0012__heavy(R_0144_0012__HEAVY)
        & r_0144_0013__native(R_0144_0013__NATIVE)
        & r_0144_0002__does_r_0144_0004__do(R_0144_0002__DOES_R_0144_0004__DO)
        & has_nim(R_0144_0002__DOES_R_0144_0004__DO,R_0144_0008__OR)
        & r_0144_0008__or(R_0144_0008__OR)
        & has_r_0144_0009__in__nim(R_0144_0008__OR,R_0144_0014__WOODLAND)
        & r_0144_0014__woodland(R_0144_0014__WOODLAND)
        & has_attrib(R_0144_0014__WOODLAND,R_0144_0013__NATIVE)
        & has_attrib(R_0144_0014__WOODLAND,R_0144_0012__HEAVY)
        & has_attrib(R_0144_0014__WOODLAND,R_0144_0010__DENSE)
        & has_r_0144_0006__in__nim(R_0144_0008__OR,R_0144_0007__PEATLAND)
        & has_nim(R_0144_0002__DOES_R_0144_0004__DO,R_0144_0005__WELL)
        & has_arg0(R_0144_0002__DOES_R_0144_0004__DO,R_0144_0001__IT) ) ).