56_a_hedgehog
I was also told that elastic bands, which postmen discard when delivering letters, are also detrimental to hedgehog survivals.
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, nim10).
arc(r_0056_0004__told, r_0056_0005__that_r_0056_0016__are, arg1).
arc(r_0056_0004__told, z_000_56_a_hedgehog_8, arg0).
arc(r_0056_0005__that_r_0056_0016__are, r_0056_0007__bands, arg0).
arc(r_0056_0005__that_r_0056_0016__are, r_0056_0017__also, nim49).
arc(r_0056_0005__that_r_0056_0016__are, r_0056_0018__detrimental, prd).
arc(r_0056_0007__bands, r_0056_0006__elastic, attrib20).
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_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_0005__THAT_R_0056_0016__ARE,Z_000_56_A_HEDGEHOG_8,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_000_56_a_hedgehog_8(Z_000_56_A_HEDGEHOG_8)
& ! [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_000_56_A_HEDGEHOG_8)
& has_arg1(R_0056_0002__WAS_R_0056_0004__TOLD,R_0056_0005__THAT_R_0056_0016__ARE)
& r_0056_0005__that_r_0056_0016__are(R_0056_0005__THAT_R_0056_0016__ARE)
& has_prd(R_0056_0005__THAT_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_nim49(R_0056_0005__THAT_R_0056_0016__ARE,R_0056_0017__ALSO)
& has_arg0(R_0056_0005__THAT_R_0056_0016__ARE,R_0056_0007__BANDS)
& r_0056_0007__bands(R_0056_0007__BANDS)
& has_attrib20(R_0056_0007__BANDS,R_0056_0006__ELASTIC)
& has_nim10(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) ) ).
( (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))