56_a_hedgehog
I was also told that elastic bands, which postmen discard when delivering letters, are also detrimental to hedgehog survivals.
( (IP-MAT (NP-SBJ (PRO I;{I}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(ADVP-NIM (ADV also;{also}))
(VVN;_Tf_ told;{tell})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (ADJP (ADJ elastic;{elastic}))
(NS bands;{band})
(PUNC ,)
(IP-REL (NP-OB1 (RPRO which;{which}))
(NP-SBJ (N postmen;{postman}))
(VB;_I_ discard;{discard})
(PP-SCON (P-CONN when;{when})
(IP-PPL2 (VAG;_Tn_ delivering;{deliver})
(NP-OB1 (NS letters;{letter}))))))
(PUNC ,)
(BEP;_La_ are;{be})
(ADVP-NIM (ADV also;{also}))
(ADJP-PRD (ADJ detrimental;{detrimental})
(PP (P-ROLE to;{to})
(NP (N hedgehog;{hedgehog})
(NS survivals;{survival})))))))
(PUNC .))
(ID 56_a_hedgehog;speaker=Colvile))
arc(r_0056_0002__was,r_0056_0004__told,scope).
arc(r_0056_0004__told,r_0056_0001__I,arg2).
arc(r_0056_0004__told,r_0056_0003__also,nim).
arc(r_0056_0004__told,r_0056_0016__are,arg1).
arc(r_0056_0004__told,z_0056_5015___star_,arg0).
arc(r_0056_0007__bands,r_0056_0006__elastic,attrib).
arc(r_0056_0011__discard,r_0056_0007__bands,arg1).
arc(r_0056_0011__discard,r_0056_0010__postmen,arg0).
arc(r_0056_0012__when,r_0056_0011__discard,scope).
arc(r_0056_0012__when,r_0056_0013__delivering,restriction).
arc(r_0056_0013__delivering,r_0056_0010__postmen,arg0).
arc(r_0056_0013__delivering,r_0056_0014__letters,arg1).
arc(r_0056_0016__are,r_0056_0007__bands,arg0).
arc(r_0056_0016__are,r_0056_0017__also,nim).
arc(r_0056_0016__are,r_0056_0018__detrimental,prd).
arc(r_0056_0018__detrimental,r_0056_0020__hedgehog_r_0056_0021__survivals,r_0056_0019__to).
fof(formula,axiom,
? [R_0056_0001__I,R_0056_0003__ALSO,R_0056_0006__ELASTIC,R_0056_0007__BANDS,R_0056_0017__ALSO,R_0056_0020__HEDGEHOG_R_0056_0021__SURVIVALS,R_0056_0018__DETRIMENTAL,R_0056_0016__ARE,Z_0056_5015___STAR_,R_0056_0002__WAS_R_0056_0004__TOLD] :
( r_0056_0001__I(R_0056_0001__I)
& r_0056_0003__also(R_0056_0003__ALSO)
& r_0056_0006__elastic(R_0056_0006__ELASTIC)
& r_0056_0017__also(R_0056_0017__ALSO)
& r_0056_0020__hedgehog_r_0056_0021__survivals(R_0056_0020__HEDGEHOG_R_0056_0021__SURVIVALS)
& z_0056_5015___star_(Z_0056_5015___STAR_)
& ! [R_0056_0013__DELIVERING,R_0056_0010__POSTMEN,R_0056_0014__LETTERS] :
( ( r_0056_0010__postmen(R_0056_0010__POSTMEN)
& r_0056_0014__letters(R_0056_0014__LETTERS)
& r_0056_0013__delivering(R_0056_0013__DELIVERING)
& has_arg1(R_0056_0013__DELIVERING,R_0056_0014__LETTERS)
& has_arg0(R_0056_0013__DELIVERING,R_0056_0010__POSTMEN) )
=> ? [R_0056_0011__DISCARD] :
( r_0056_0011__discard(R_0056_0011__DISCARD)
& has_arg0(R_0056_0011__DISCARD,R_0056_0010__POSTMEN)
& has_arg1(R_0056_0011__DISCARD,R_0056_0007__BANDS) ) )
& r_0056_0002__was_r_0056_0004__told(R_0056_0002__WAS_R_0056_0004__TOLD)
& has_arg0(R_0056_0002__WAS_R_0056_0004__TOLD,Z_0056_5015___STAR_)
& has_arg1(R_0056_0002__WAS_R_0056_0004__TOLD,R_0056_0016__ARE)
& r_0056_0016__are(R_0056_0016__ARE)
& has_prd(R_0056_0016__ARE,R_0056_0018__DETRIMENTAL)
& r_0056_0018__detrimental(R_0056_0018__DETRIMENTAL)
& has_r_0056_0019__to(R_0056_0018__DETRIMENTAL,R_0056_0020__HEDGEHOG_R_0056_0021__SURVIVALS)
& has_nim(R_0056_0016__ARE,R_0056_0017__ALSO)
& has_arg0(R_0056_0016__ARE,R_0056_0007__BANDS)
& r_0056_0007__bands(R_0056_0007__BANDS)
& has_attrib(R_0056_0007__BANDS,R_0056_0006__ELASTIC)
& has_nim(R_0056_0002__WAS_R_0056_0004__TOLD,R_0056_0003__ALSO)
& has_arg2(R_0056_0002__WAS_R_0056_0004__TOLD,R_0056_0001__I) ) ).