Context                Previous, Next                Top


56_a_hedgehog
I was also told that elastic bands, which postmen discard when delivering letters, are also detrimental to hedgehog survivals.

%3 r_0056_0002__was was r_0056_0004__told told r_0056_0002__was->r_0056_0004__told [scope] r_0056_0001__I I r_0056_0004__told->r_0056_0001__I [arg2] r_0056_0003__also also r_0056_0004__told->r_0056_0003__also [nim] r_0056_0005__that_r_0056_0016__are that are r_0056_0004__told->r_0056_0005__that_r_0056_0016__are [arg1] z_000_56_a_hedgehog_8 r_0056_0004__told->z_000_56_a_hedgehog_8 [arg0] r_0056_0007__bands bands r_0056_0005__that_r_0056_0016__are->r_0056_0007__bands [arg0] r_0056_0017__also also r_0056_0005__that_r_0056_0016__are->r_0056_0017__also [nim] r_0056_0018__detrimental detrimental r_0056_0005__that_r_0056_0016__are->r_0056_0018__detrimental [prd] r_0056_0006__elastic elastic r_0056_0007__bands->r_0056_0006__elastic [attrib] r_0056_0020__hedgehog_r_0056_0021__survivals hedgehog survivals r_0056_0018__detrimental->r_0056_0020__hedgehog_r_0056_0021__survivals to r_0056_0011__discard discard r_0056_0011__discard->r_0056_0007__bands [arg1] r_0056_0010__postmen postmen r_0056_0011__discard->r_0056_0010__postmen [arg0] r_0056_0012__when when r_0056_0012__when->r_0056_0011__discard [scope] r_0056_0013__delivering delivering r_0056_0012__when->r_0056_0013__delivering [restriction] r_0056_0013__delivering->r_0056_0010__postmen [arg0] r_0056_0014__letters letters r_0056_0013__delivering->r_0056_0014__letters [arg1] 
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).


%3 r_0056_0018__detrimental detrimental r_0056_0020__hedgehog_r_0056_0021__survivals hedgehog survivals r_0056_0018__detrimental->r_0056_0020__hedgehog_r_0056_0021__survivals to r_0056_0013__delivering delivering r_0056_0014__letters letters r_0056_0013__delivering->r_0056_0014__letters [arg1] r_0056_0010__postmen postmen r_0056_0013__delivering->r_0056_0010__postmen [arg0] r_0056_0012__when when r_0056_0012__when->r_0056_0013__delivering [restriction] r_0056_0011__discard discard r_0056_0012__when->r_0056_0011__discard [scope] r_0056_0011__discard->r_0056_0010__postmen [arg0] r_0056_0007__bands bands r_0056_0011__discard->r_0056_0007__bands [arg1] r_0056_0006__elastic elastic r_0056_0007__bands->r_0056_0006__elastic [attrib] r_0056_0005__that_r_0056_0016__are that are r_0056_0005__that_r_0056_0016__are->r_0056_0018__detrimental [prd] r_0056_0005__that_r_0056_0016__are->r_0056_0007__bands [arg0] r_0056_0017__also also r_0056_0005__that_r_0056_0016__are->r_0056_0017__also [nim] r_0056_0002__was_r_0056_0004__told was told r_0056_0002__was_r_0056_0004__told->r_0056_0005__that_r_0056_0016__are [arg1] z_000_56_a_hedgehog_8 r_0056_0002__was_r_0056_0004__told->z_000_56_a_hedgehog_8 [arg0] r_0056_0003__also also r_0056_0002__was_r_0056_0004__told->r_0056_0003__also [nim] r_0056_0001__I I r_0056_0002__was_r_0056_0004__told->r_0056_0001__I [arg2] 
fof(formula,axiom,
    ? [R_56_2_WAS_TOLD,Z_56_A_HEDGEHOG_8,R_56_5_THAT_ARE,R_56_7_BANDS,R_56_6_ELASTIC,R_56_17_ALSO,R_56_18_DETRIMENTAL,R_56_20_HEDGEHOG_SURVIVALS,R_56_1_I,R_56_3_ALSO] :
      ( elastic(R_56_6_ELASTIC)
      & also(R_56_17_ALSO)
      & hedgehog_survivals(R_56_20_HEDGEHOG_SURVIVALS)
      & i(R_56_1_I)
      & also(R_56_3_ALSO)
      & was_told(R_56_2_WAS_TOLD,Z_56_A_HEDGEHOG_8,R_56_5_THAT_ARE,R_56_1_I)
      & that_are(R_56_5_THAT_ARE,R_56_7_BANDS,R_56_18_DETRIMENTAL)
      & bands(R_56_7_BANDS)
      & attrib20(R_56_7_BANDS,R_56_6_ELASTIC)
      & detrimental(R_56_18_DETRIMENTAL)
      & to(R_56_18_DETRIMENTAL,R_56_20_HEDGEHOG_SURVIVALS)
      & nim49(R_56_5_THAT_ARE,R_56_17_ALSO)
      & nim10(R_56_2_WAS_TOLD,R_56_3_ALSO)
      & ! [R_56_13_DELIVERING,R_56_10_POSTMEN,R_56_14_LETTERS] :
          ( ( postmen(R_56_10_POSTMEN)
            & letters(R_56_14_LETTERS)
            & delivering(R_56_13_DELIVERING,R_56_10_POSTMEN,R_56_14_LETTERS) )
         => ? [R_56_11_DISCARD] : discard(R_56_11_DISCARD,R_56_10_POSTMEN,R_56_7_BANDS) ) ) ).


n56_a_hedgehog n56_a_hedgehog__1_1_1_1 I n56_a_hedgehog__1_2_1 was n56_a_hedgehog__1_3_1_1 * n56_a_hedgehog__1_3_2_1_1 also n56_a_hedgehog__1_3_3_1 told n56_a_hedgehog__1_3_4_1_1_1 that n56_a_hedgehog__1_3_4_1_2_1_1_1 elastic n56_a_hedgehog__1_3_4_1_2_2_1 bands n56_a_hedgehog__1_3_4_1_2_3_1 , n56_a_hedgehog__1_3_4_1_2_4_1_1_1 which n56_a_hedgehog__1_3_4_1_2_4_2_1_1 postmen n56_a_hedgehog__1_3_4_1_2_4_3_1 discard n56_a_hedgehog__1_3_4_1_2_4_4_1_1 when n56_a_hedgehog__1_3_4_1_2_4_4_2_1_1 delivering n56_a_hedgehog__1_3_4_1_2_4_4_2_2_1_1 letters n56_a_hedgehog__1_3_4_1_3_1 , n56_a_hedgehog__1_3_4_1_4_1 are n56_a_hedgehog__1_3_4_1_5_1_1 also n56_a_hedgehog__1_3_4_1_6_1_1 detrimental n56_a_hedgehog__1_3_4_1_6_2_1_1 to n56_a_hedgehog__1_3_4_1_6_2_2_1_1 hedgehog n56_a_hedgehog__1_3_4_1_6_2_2_2_1 survivals n56_a_hedgehog__1_4_1 . n56_a_hedgehog__1 IP-MAT n56_a_hedgehog__1_1 NP-SBJ n56_a_hedgehog__1->n56_a_hedgehog__1_1 n56_a_hedgehog__1_2 BED;_cat_VePASS_ n56_a_hedgehog__1->n56_a_hedgehog__1_2 n56_a_hedgehog__1_3 IP-PPL-CAT n56_a_hedgehog__1->n56_a_hedgehog__1_3 n56_a_hedgehog__1_4 PUNC n56_a_hedgehog__1->n56_a_hedgehog__1_4 n56_a_hedgehog__1_1_1 PRO n56_a_hedgehog__1_1->n56_a_hedgehog__1_1_1 n56_a_hedgehog__1_1_1->n56_a_hedgehog__1_1_1_1 n56_a_hedgehog__1_2->n56_a_hedgehog__1_2_1 n56_a_hedgehog__1_3_1 NP-LGS n56_a_hedgehog__1_3->n56_a_hedgehog__1_3_1 n56_a_hedgehog__1_3_2 ADVP-NIM n56_a_hedgehog__1_3->n56_a_hedgehog__1_3_2 n56_a_hedgehog__1_3_3 VVN;_Tf_ n56_a_hedgehog__1_3->n56_a_hedgehog__1_3_3 n56_a_hedgehog__1_3_4 CP-THT-OB1 n56_a_hedgehog__1_3->n56_a_hedgehog__1_3_4 n56_a_hedgehog__1_3_1->n56_a_hedgehog__1_3_1_1 n56_a_hedgehog__1_3_2_1 ADV n56_a_hedgehog__1_3_2->n56_a_hedgehog__1_3_2_1 n56_a_hedgehog__1_3_2_1->n56_a_hedgehog__1_3_2_1_1 n56_a_hedgehog__1_3_3->n56_a_hedgehog__1_3_3_1 n56_a_hedgehog__1_3_4_1 IP-SUB n56_a_hedgehog__1_3_4->n56_a_hedgehog__1_3_4_1 n56_a_hedgehog__1_3_4_1_1 C n56_a_hedgehog__1_3_4_1->n56_a_hedgehog__1_3_4_1_1 n56_a_hedgehog__1_3_4_1_2 NP-SBJ n56_a_hedgehog__1_3_4_1->n56_a_hedgehog__1_3_4_1_2 n56_a_hedgehog__1_3_4_1_3 PUNC n56_a_hedgehog__1_3_4_1->n56_a_hedgehog__1_3_4_1_3 n56_a_hedgehog__1_3_4_1_4 BEP;_La_ n56_a_hedgehog__1_3_4_1->n56_a_hedgehog__1_3_4_1_4 n56_a_hedgehog__1_3_4_1_5 ADVP-NIM n56_a_hedgehog__1_3_4_1->n56_a_hedgehog__1_3_4_1_5 n56_a_hedgehog__1_3_4_1_6 ADJP-PRD n56_a_hedgehog__1_3_4_1->n56_a_hedgehog__1_3_4_1_6 n56_a_hedgehog__1_3_4_1_1->n56_a_hedgehog__1_3_4_1_1_1 n56_a_hedgehog__1_3_4_1_2_1 ADJP n56_a_hedgehog__1_3_4_1_2->n56_a_hedgehog__1_3_4_1_2_1 n56_a_hedgehog__1_3_4_1_2_2 NS n56_a_hedgehog__1_3_4_1_2->n56_a_hedgehog__1_3_4_1_2_2 n56_a_hedgehog__1_3_4_1_2_3 PUNC n56_a_hedgehog__1_3_4_1_2->n56_a_hedgehog__1_3_4_1_2_3 n56_a_hedgehog__1_3_4_1_2_4 IP-REL n56_a_hedgehog__1_3_4_1_2->n56_a_hedgehog__1_3_4_1_2_4 n56_a_hedgehog__1_3_4_1_2_1_1 ADJ n56_a_hedgehog__1_3_4_1_2_1->n56_a_hedgehog__1_3_4_1_2_1_1 n56_a_hedgehog__1_3_4_1_2_1_1->n56_a_hedgehog__1_3_4_1_2_1_1_1 n56_a_hedgehog__1_3_4_1_2_2->n56_a_hedgehog__1_3_4_1_2_2_1 n56_a_hedgehog__1_3_4_1_2_3->n56_a_hedgehog__1_3_4_1_2_3_1 n56_a_hedgehog__1_3_4_1_2_4_1 NP-OB1 n56_a_hedgehog__1_3_4_1_2_4->n56_a_hedgehog__1_3_4_1_2_4_1 n56_a_hedgehog__1_3_4_1_2_4_2 NP-SBJ n56_a_hedgehog__1_3_4_1_2_4->n56_a_hedgehog__1_3_4_1_2_4_2 n56_a_hedgehog__1_3_4_1_2_4_3 VB;_I_ n56_a_hedgehog__1_3_4_1_2_4->n56_a_hedgehog__1_3_4_1_2_4_3 n56_a_hedgehog__1_3_4_1_2_4_4 PP-SCON n56_a_hedgehog__1_3_4_1_2_4->n56_a_hedgehog__1_3_4_1_2_4_4 n56_a_hedgehog__1_3_4_1_2_4_1_1 RPRO n56_a_hedgehog__1_3_4_1_2_4_1->n56_a_hedgehog__1_3_4_1_2_4_1_1 n56_a_hedgehog__1_3_4_1_2_4_1_1->n56_a_hedgehog__1_3_4_1_2_4_1_1_1 n56_a_hedgehog__1_3_4_1_2_4_2_1 N n56_a_hedgehog__1_3_4_1_2_4_2->n56_a_hedgehog__1_3_4_1_2_4_2_1 n56_a_hedgehog__1_3_4_1_2_4_2_1->n56_a_hedgehog__1_3_4_1_2_4_2_1_1 n56_a_hedgehog__1_3_4_1_2_4_3->n56_a_hedgehog__1_3_4_1_2_4_3_1 n56_a_hedgehog__1_3_4_1_2_4_4_1 P-CONN n56_a_hedgehog__1_3_4_1_2_4_4->n56_a_hedgehog__1_3_4_1_2_4_4_1 n56_a_hedgehog__1_3_4_1_2_4_4_2 IP-PPL2 n56_a_hedgehog__1_3_4_1_2_4_4->n56_a_hedgehog__1_3_4_1_2_4_4_2 n56_a_hedgehog__1_3_4_1_2_4_4_1->n56_a_hedgehog__1_3_4_1_2_4_4_1_1 n56_a_hedgehog__1_3_4_1_2_4_4_2_1 VAG;_Tn_ n56_a_hedgehog__1_3_4_1_2_4_4_2->n56_a_hedgehog__1_3_4_1_2_4_4_2_1 n56_a_hedgehog__1_3_4_1_2_4_4_2_2 NP-OB1 n56_a_hedgehog__1_3_4_1_2_4_4_2->n56_a_hedgehog__1_3_4_1_2_4_4_2_2 n56_a_hedgehog__1_3_4_1_2_4_4_2_1->n56_a_hedgehog__1_3_4_1_2_4_4_2_1_1 n56_a_hedgehog__1_3_4_1_2_4_4_2_2_1 NS n56_a_hedgehog__1_3_4_1_2_4_4_2_2->n56_a_hedgehog__1_3_4_1_2_4_4_2_2_1 n56_a_hedgehog__1_3_4_1_2_4_4_2_2_1->n56_a_hedgehog__1_3_4_1_2_4_4_2_2_1_1 n56_a_hedgehog__1_3_4_1_3->n56_a_hedgehog__1_3_4_1_3_1 n56_a_hedgehog__1_3_4_1_4->n56_a_hedgehog__1_3_4_1_4_1 n56_a_hedgehog__1_3_4_1_5_1 ADV n56_a_hedgehog__1_3_4_1_5->n56_a_hedgehog__1_3_4_1_5_1 n56_a_hedgehog__1_3_4_1_5_1->n56_a_hedgehog__1_3_4_1_5_1_1 n56_a_hedgehog__1_3_4_1_6_1 ADJ n56_a_hedgehog__1_3_4_1_6->n56_a_hedgehog__1_3_4_1_6_1 n56_a_hedgehog__1_3_4_1_6_2 PP n56_a_hedgehog__1_3_4_1_6->n56_a_hedgehog__1_3_4_1_6_2 n56_a_hedgehog__1_3_4_1_6_1->n56_a_hedgehog__1_3_4_1_6_1_1 n56_a_hedgehog__1_3_4_1_6_2_1 P-ROLE n56_a_hedgehog__1_3_4_1_6_2->n56_a_hedgehog__1_3_4_1_6_2_1 n56_a_hedgehog__1_3_4_1_6_2_2 NP n56_a_hedgehog__1_3_4_1_6_2->n56_a_hedgehog__1_3_4_1_6_2_2 n56_a_hedgehog__1_3_4_1_6_2_1->n56_a_hedgehog__1_3_4_1_6_2_1_1 n56_a_hedgehog__1_3_4_1_6_2_2_1 N n56_a_hedgehog__1_3_4_1_6_2_2->n56_a_hedgehog__1_3_4_1_6_2_2_1 n56_a_hedgehog__1_3_4_1_6_2_2_2 NS n56_a_hedgehog__1_3_4_1_6_2_2->n56_a_hedgehog__1_3_4_1_6_2_2_2 n56_a_hedgehog__1_3_4_1_6_2_2_1->n56_a_hedgehog__1_3_4_1_6_2_2_1_1 n56_a_hedgehog__1_3_4_1_6_2_2_2->n56_a_hedgehog__1_3_4_1_6_2_2_2_1 n56_a_hedgehog__1_4->n56_a_hedgehog__1_4_1 
( (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))