Context                Previous, Next                Top


113_a_hedgehog
The hedgehog, and its ancestor, narrowly missed being crushed under the foot of Tyrannosaurus rex.

%3 r_0113_0004__and and r_0113_0001__The_r_0113_0002__hedgehog The hedgehog r_0113_0004__and->r_0113_0001__The_r_0113_0002__hedgehog [conj1] r_0113_0006__ancestor ancestor r_0113_0004__and->r_0113_0006__ancestor [conj2] r_0113_0006__ancestor->r_0113_0001__The_r_0113_0002__hedgehog [gen] r_0113_0009__missed missed r_0113_0008__narrowly narrowly r_0113_0009__missed->r_0113_0008__narrowly [nim] r_0113_0010__being being r_0113_0009__missed->r_0113_0010__being [scope] r_0113_0011__crushed crushed r_0113_0010__being->r_0113_0011__crushed [scope] r_0113_0011__crushed->r_0113_0004__and [arg1] r_0113_0013__the_r_0113_0014__foot the foot r_0113_0011__crushed->r_0113_0013__the_r_0113_0014__foot under [nim] z_000_113_a_hedgehog_31 r_0113_0011__crushed->z_000_113_a_hedgehog_31 [arg0] r_0113_0016__Tyrannosaurus_r_0113_0017__rex Tyrannosaurus rex r_0113_0013__the_r_0113_0014__foot->r_0113_0016__Tyrannosaurus_r_0113_0017__rex of 
arc(r_0113_0004__and, r_0113_0001__The_r_0113_0002__hedgehog, conj1).
arc(r_0113_0004__and, r_0113_0006__ancestor, conj2).
arc(r_0113_0006__ancestor, r_0113_0001__The_r_0113_0002__hedgehog, gen).
arc(r_0113_0009__missed, r_0113_0008__narrowly, nim22).
arc(r_0113_0009__missed, r_0113_0010__being, scope).
arc(r_0113_0010__being, r_0113_0011__crushed, scope).
arc(r_0113_0011__crushed, r_0113_0004__and, arg1).
arc(r_0113_0011__crushed, r_0113_0013__the_r_0113_0014__foot, r_0113_0012__under_nim38).
arc(r_0113_0011__crushed, z_000_113_a_hedgehog_31, arg0).
arc(r_0113_0013__the_r_0113_0014__foot, r_0113_0016__Tyrannosaurus_r_0113_0017__rex, r_0113_0015__of).


%3 r_0113_0004__and and r_0113_0001__The_r_0113_0002__hedgehog The hedgehog r_0113_0004__and->r_0113_0001__The_r_0113_0002__hedgehog [conj1] r_0113_0006__ancestor ancestor r_0113_0004__and->r_0113_0006__ancestor [conj2] r_0113_0006__ancestor->r_0113_0001__The_r_0113_0002__hedgehog [gen] r_0113_0009__missed_r_0113_0010__being_r_0113_0011__crushed missed being crushed r_0113_0009__missed_r_0113_0010__being_r_0113_0011__crushed->r_0113_0004__and [arg1] r_0113_0008__narrowly narrowly r_0113_0009__missed_r_0113_0010__being_r_0113_0011__crushed->r_0113_0008__narrowly [nim] r_0113_0013__the_r_0113_0014__foot the foot r_0113_0009__missed_r_0113_0010__being_r_0113_0011__crushed->r_0113_0013__the_r_0113_0014__foot under [nim] z_000_113_a_hedgehog_31 r_0113_0009__missed_r_0113_0010__being_r_0113_0011__crushed->z_000_113_a_hedgehog_31 [arg0] r_0113_0016__Tyrannosaurus_r_0113_0017__rex Tyrannosaurus rex r_0113_0013__the_r_0113_0014__foot->r_0113_0016__Tyrannosaurus_r_0113_0017__rex of 
fof(formula,axiom,
    ? [R_113_9_MISSED_BEING_CRUSHED,Z_113_A_HEDGEHOG_31,R_113_4_AND,R_113_6_ANCESTOR,R_113_1_THE_HEDGEHOG,R_113_8_NARROWLY,R_113_13_THE_FOOT,R_113_16_TYRANNOSAURUS_REX] :
      ( the_hedgehog(R_113_1_THE_HEDGEHOG)
      & narrowly(R_113_8_NARROWLY)
      & tyrannosaurus_rex(R_113_16_TYRANNOSAURUS_REX)
      & missed_being_crushed(R_113_9_MISSED_BEING_CRUSHED,Z_113_A_HEDGEHOG_31,R_113_4_AND)
      & and(R_113_4_AND)
      & conj1(R_113_4_AND,R_113_1_THE_HEDGEHOG)
      & conj2(R_113_4_AND,R_113_6_ANCESTOR)
      & ancestor(R_113_6_ANCESTOR)
      & gen(R_113_6_ANCESTOR,R_113_1_THE_HEDGEHOG)
      & nim22(R_113_9_MISSED_BEING_CRUSHED,R_113_8_NARROWLY)
      & under_nim38(R_113_9_MISSED_BEING_CRUSHED,R_113_13_THE_FOOT)
      & the_foot(R_113_13_THE_FOOT)
      & of(R_113_13_THE_FOOT,R_113_16_TYRANNOSAURUS_REX) ) ).


n113_a_hedgehog n113_a_hedgehog_6 The n113_a_hedgehog_8 hedgehog n113_a_hedgehog_10 , n113_a_hedgehog_13 and n113_a_hedgehog_17 its n113_a_hedgehog_19 ancestor n113_a_hedgehog_21 , n113_a_hedgehog_24 narrowly n113_a_hedgehog_26 missed n113_a_hedgehog_29 being n113_a_hedgehog_32 * n113_a_hedgehog_34 crushed n113_a_hedgehog_37 under n113_a_hedgehog_40 the n113_a_hedgehog_42 foot n113_a_hedgehog_45 of n113_a_hedgehog_48 Tyrannosaurus n113_a_hedgehog_50 rex n113_a_hedgehog_52 . n113_a_hedgehog_1 IP-MAT n113_a_hedgehog_2 NP-SBJ n113_a_hedgehog_1->n113_a_hedgehog_2 n113_a_hedgehog_20 PUNC n113_a_hedgehog_1->n113_a_hedgehog_20 n113_a_hedgehog_22 ADVP-NIM n113_a_hedgehog_1->n113_a_hedgehog_22 n113_a_hedgehog_25 VBD;_cat_Vg_ n113_a_hedgehog_1->n113_a_hedgehog_25 n113_a_hedgehog_27 IP-PPL-CAT n113_a_hedgehog_1->n113_a_hedgehog_27 n113_a_hedgehog_51 PUNC n113_a_hedgehog_1->n113_a_hedgehog_51 n113_a_hedgehog_3 NLYR n113_a_hedgehog_2->n113_a_hedgehog_3 n113_a_hedgehog_4 NLYR n113_a_hedgehog_3->n113_a_hedgehog_4 n113_a_hedgehog_9 PUNC n113_a_hedgehog_3->n113_a_hedgehog_9 n113_a_hedgehog_11 CONJP n113_a_hedgehog_3->n113_a_hedgehog_11 n113_a_hedgehog_5 D n113_a_hedgehog_4->n113_a_hedgehog_5 n113_a_hedgehog_7 N n113_a_hedgehog_4->n113_a_hedgehog_7 n113_a_hedgehog_5->n113_a_hedgehog_6 n113_a_hedgehog_7->n113_a_hedgehog_8 n113_a_hedgehog_9->n113_a_hedgehog_10 n113_a_hedgehog_12 CONJ n113_a_hedgehog_11->n113_a_hedgehog_12 n113_a_hedgehog_14 NLYR n113_a_hedgehog_11->n113_a_hedgehog_14 n113_a_hedgehog_12->n113_a_hedgehog_13 n113_a_hedgehog_15 NP-GEN n113_a_hedgehog_14->n113_a_hedgehog_15 n113_a_hedgehog_18 N n113_a_hedgehog_14->n113_a_hedgehog_18 n113_a_hedgehog_16 PRO;_genm_ n113_a_hedgehog_15->n113_a_hedgehog_16 n113_a_hedgehog_16->n113_a_hedgehog_17 n113_a_hedgehog_18->n113_a_hedgehog_19 n113_a_hedgehog_20->n113_a_hedgehog_21 n113_a_hedgehog_23 ADV n113_a_hedgehog_22->n113_a_hedgehog_23 n113_a_hedgehog_23->n113_a_hedgehog_24 n113_a_hedgehog_25->n113_a_hedgehog_26 n113_a_hedgehog_28 BAG;_cat_VePASS_ n113_a_hedgehog_27->n113_a_hedgehog_28 n113_a_hedgehog_30 IP-PPL-CAT n113_a_hedgehog_27->n113_a_hedgehog_30 n113_a_hedgehog_28->n113_a_hedgehog_29 n113_a_hedgehog_31 NP-LGS n113_a_hedgehog_30->n113_a_hedgehog_31 n113_a_hedgehog_33 VVN;_Tn_ n113_a_hedgehog_30->n113_a_hedgehog_33 n113_a_hedgehog_35 PP-NIM n113_a_hedgehog_30->n113_a_hedgehog_35 n113_a_hedgehog_31->n113_a_hedgehog_32 n113_a_hedgehog_33->n113_a_hedgehog_34 n113_a_hedgehog_36 P-ROLE n113_a_hedgehog_35->n113_a_hedgehog_36 n113_a_hedgehog_38 NP n113_a_hedgehog_35->n113_a_hedgehog_38 n113_a_hedgehog_36->n113_a_hedgehog_37 n113_a_hedgehog_39 D n113_a_hedgehog_38->n113_a_hedgehog_39 n113_a_hedgehog_41 N n113_a_hedgehog_38->n113_a_hedgehog_41 n113_a_hedgehog_43 PP n113_a_hedgehog_38->n113_a_hedgehog_43 n113_a_hedgehog_39->n113_a_hedgehog_40 n113_a_hedgehog_41->n113_a_hedgehog_42 n113_a_hedgehog_44 P-ROLE n113_a_hedgehog_43->n113_a_hedgehog_44 n113_a_hedgehog_46 NP n113_a_hedgehog_43->n113_a_hedgehog_46 n113_a_hedgehog_44->n113_a_hedgehog_45 n113_a_hedgehog_47 NPR n113_a_hedgehog_46->n113_a_hedgehog_47 n113_a_hedgehog_49 N n113_a_hedgehog_46->n113_a_hedgehog_49 n113_a_hedgehog_47->n113_a_hedgehog_48 n113_a_hedgehog_49->n113_a_hedgehog_50 n113_a_hedgehog_51->n113_a_hedgehog_52 
( (IP-MAT (NP-SBJ (NLYR (NLYR;{HEDGEHOG} (D The;{the})
                                         (N hedgehog;{hedgehog}))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (NP-GEN;{HEDGEHOG} (PRO;_genm_ its;{its}))
                                     (N ancestor;{ancestor})))))
          (PUNC ,)
          (ADVP-NIM (ADV narrowly;{narrowly}))
          (VBD;_cat_Vg_ missed;{miss})
          (IP-PPL-CAT (BAG;_cat_VePASS_ being;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ crushed;{crush})
                                  (PP-NIM (P-ROLE under;{under})
                                          (NP (D the;{the})
                                              (N foot;{foot})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NPR Tyrannosaurus;{Tyrannosaurus})
                                                      (N rex;{rex})))))))
          (PUNC .))
  (ID 113_a_hedgehog;speaker=Stewart))