Context                Previous, Next                Top


128_a_hedgehog
Aristotle points out that the hedgehog carries apples on his spine into his nest.

n128_a_hedgehog n128_a_hedgehog__1_1_1_1 Aristotle n128_a_hedgehog__1_2_1 points n128_a_hedgehog__1_3_1 out n128_a_hedgehog__1_4_1_1_1 that n128_a_hedgehog__1_4_1_2_1_1 the n128_a_hedgehog__1_4_1_2_2_1 hedgehog n128_a_hedgehog__1_4_1_3_1 carries n128_a_hedgehog__1_4_1_4_1_1 apples n128_a_hedgehog__1_4_1_5_1_1 on n128_a_hedgehog__1_4_1_5_2_1_1_1 his n128_a_hedgehog__1_4_1_5_2_2_1 spine n128_a_hedgehog__1_4_1_6_1_1 into n128_a_hedgehog__1_4_1_6_2_1_1_1 his n128_a_hedgehog__1_4_1_6_2_2_1 nest n128_a_hedgehog__1_5_1 . n128_a_hedgehog__1 IP-MAT n128_a_hedgehog__1_1 NP-SBJ n128_a_hedgehog__1->n128_a_hedgehog__1_1 n128_a_hedgehog__1_2 VBP;_phr_Vp.f_ n128_a_hedgehog__1->n128_a_hedgehog__1_2 n128_a_hedgehog__1_3 RP n128_a_hedgehog__1->n128_a_hedgehog__1_3 n128_a_hedgehog__1_4 CP-THT-OB1 n128_a_hedgehog__1->n128_a_hedgehog__1_4 n128_a_hedgehog__1_5 PUNC n128_a_hedgehog__1->n128_a_hedgehog__1_5 n128_a_hedgehog__1_1_1 NPR n128_a_hedgehog__1_1->n128_a_hedgehog__1_1_1 n128_a_hedgehog__1_1_1->n128_a_hedgehog__1_1_1_1 n128_a_hedgehog__1_2->n128_a_hedgehog__1_2_1 n128_a_hedgehog__1_3->n128_a_hedgehog__1_3_1 n128_a_hedgehog__1_4_1 IP-SUB n128_a_hedgehog__1_4->n128_a_hedgehog__1_4_1 n128_a_hedgehog__1_4_1_1 C n128_a_hedgehog__1_4_1->n128_a_hedgehog__1_4_1_1 n128_a_hedgehog__1_4_1_2 NP-SBJ n128_a_hedgehog__1_4_1->n128_a_hedgehog__1_4_1_2 n128_a_hedgehog__1_4_1_3 VBP;_Tn.pr_ n128_a_hedgehog__1_4_1->n128_a_hedgehog__1_4_1_3 n128_a_hedgehog__1_4_1_4 NP-OB1 n128_a_hedgehog__1_4_1->n128_a_hedgehog__1_4_1_4 n128_a_hedgehog__1_4_1_5 PP-CLR n128_a_hedgehog__1_4_1->n128_a_hedgehog__1_4_1_5 n128_a_hedgehog__1_4_1_6 PP-NIM n128_a_hedgehog__1_4_1->n128_a_hedgehog__1_4_1_6 n128_a_hedgehog__1_4_1_1->n128_a_hedgehog__1_4_1_1_1 n128_a_hedgehog__1_4_1_2_1 D n128_a_hedgehog__1_4_1_2->n128_a_hedgehog__1_4_1_2_1 n128_a_hedgehog__1_4_1_2_2 N n128_a_hedgehog__1_4_1_2->n128_a_hedgehog__1_4_1_2_2 n128_a_hedgehog__1_4_1_2_1->n128_a_hedgehog__1_4_1_2_1_1 n128_a_hedgehog__1_4_1_2_2->n128_a_hedgehog__1_4_1_2_2_1 n128_a_hedgehog__1_4_1_3->n128_a_hedgehog__1_4_1_3_1 n128_a_hedgehog__1_4_1_4_1 NS n128_a_hedgehog__1_4_1_4->n128_a_hedgehog__1_4_1_4_1 n128_a_hedgehog__1_4_1_4_1->n128_a_hedgehog__1_4_1_4_1_1 n128_a_hedgehog__1_4_1_5_1 P-ROLE n128_a_hedgehog__1_4_1_5->n128_a_hedgehog__1_4_1_5_1 n128_a_hedgehog__1_4_1_5_2 NP n128_a_hedgehog__1_4_1_5->n128_a_hedgehog__1_4_1_5_2 n128_a_hedgehog__1_4_1_5_1->n128_a_hedgehog__1_4_1_5_1_1 n128_a_hedgehog__1_4_1_5_2_1 NP-GEN n128_a_hedgehog__1_4_1_5_2->n128_a_hedgehog__1_4_1_5_2_1 n128_a_hedgehog__1_4_1_5_2_2 N n128_a_hedgehog__1_4_1_5_2->n128_a_hedgehog__1_4_1_5_2_2 n128_a_hedgehog__1_4_1_5_2_1_1 PRO;_genm_ n128_a_hedgehog__1_4_1_5_2_1->n128_a_hedgehog__1_4_1_5_2_1_1 n128_a_hedgehog__1_4_1_5_2_1_1->n128_a_hedgehog__1_4_1_5_2_1_1_1 n128_a_hedgehog__1_4_1_5_2_2->n128_a_hedgehog__1_4_1_5_2_2_1 n128_a_hedgehog__1_4_1_6_1 P-ROLE n128_a_hedgehog__1_4_1_6->n128_a_hedgehog__1_4_1_6_1 n128_a_hedgehog__1_4_1_6_2 NP n128_a_hedgehog__1_4_1_6->n128_a_hedgehog__1_4_1_6_2 n128_a_hedgehog__1_4_1_6_1->n128_a_hedgehog__1_4_1_6_1_1 n128_a_hedgehog__1_4_1_6_2_1 NP-GEN n128_a_hedgehog__1_4_1_6_2->n128_a_hedgehog__1_4_1_6_2_1 n128_a_hedgehog__1_4_1_6_2_2 N n128_a_hedgehog__1_4_1_6_2->n128_a_hedgehog__1_4_1_6_2_2 n128_a_hedgehog__1_4_1_6_2_1_1 PRO;_genm_ n128_a_hedgehog__1_4_1_6_2_1->n128_a_hedgehog__1_4_1_6_2_1_1 n128_a_hedgehog__1_4_1_6_2_1_1->n128_a_hedgehog__1_4_1_6_2_1_1_1 n128_a_hedgehog__1_4_1_6_2_2->n128_a_hedgehog__1_4_1_6_2_2_1 n128_a_hedgehog__1_5->n128_a_hedgehog__1_5_1 
( (IP-MAT (NP-SBJ (NPR Aristotle;{Aristotle}))
          (VBP;_phr_Vp.f_ points;{point[out]})
          (RP out;{out})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{HEDGEHOG} (D the;{the})
                                                 (N hedgehog;{hedgehog}))
                              (VBP;_Tn.pr_ carries;{carry[on]})
                              (NP-OB1 (NS apples;{apple}))
                              (PP-CLR (P-ROLE on;{on})
                                      (NP (NP-GEN;{HEDGEHOG} (PRO;_genm_ his;{his}))
                                          (N spine;{spine})))
                              (PP-NIM (P-ROLE into;{into})
                                      (NP (NP-GEN;{HEDGEHOG} (PRO;_genm_ his;{his}))
                                          (N nest;{nest})))))
          (PUNC .))
  (ID 128_a_hedgehog;speaker=Stewart))


%3 r_0128_0014__nest nest r_0128_0005__the_r_0128_0006__hedgehog the hedgehog r_0128_0014__nest->r_0128_0005__the_r_0128_0006__hedgehog [gen] r_0128_0011__spine spine r_0128_0011__spine->r_0128_0005__the_r_0128_0006__hedgehog [gen] r_0128_0007__carries_r_0128_0009__on carries on r_0128_0007__carries_r_0128_0009__on->r_0128_0014__nest into [nim] r_0128_0007__carries_r_0128_0009__on->r_0128_0005__the_r_0128_0006__hedgehog [arg0] r_0128_0007__carries_r_0128_0009__on->r_0128_0011__spine [arg2] r_0128_0008__apples apples r_0128_0007__carries_r_0128_0009__on->r_0128_0008__apples [arg1] r_0128_0002__points_r_0128_0003__out points out r_0128_0002__points_r_0128_0003__out->r_0128_0007__carries_r_0128_0009__on [arg1] r_0128_0001__Aristotle Aristotle r_0128_0002__points_r_0128_0003__out->r_0128_0001__Aristotle [arg0] 
arc(r_0128_0002__points_r_0128_0003__out,r_0128_0001__Aristotle,arg0).
arc(r_0128_0002__points_r_0128_0003__out,r_0128_0007__carries_r_0128_0009__on,arg1).
arc(r_0128_0007__carries_r_0128_0009__on,r_0128_0005__the_r_0128_0006__hedgehog,arg0).
arc(r_0128_0007__carries_r_0128_0009__on,r_0128_0008__apples,arg1).
arc(r_0128_0007__carries_r_0128_0009__on,r_0128_0011__spine,arg2).
arc(r_0128_0007__carries_r_0128_0009__on,r_0128_0014__nest,r_0128_0012__into__nim).
arc(r_0128_0011__spine,r_0128_0005__the_r_0128_0006__hedgehog,gen).
arc(r_0128_0014__nest,r_0128_0005__the_r_0128_0006__hedgehog,gen).


%3 r_0128_0002__points_r_0128_0003__out points out r_0128_0001__Aristotle Aristotle r_0128_0002__points_r_0128_0003__out->r_0128_0001__Aristotle [arg0] r_0128_0007__carries_r_0128_0009__on carries on r_0128_0002__points_r_0128_0003__out->r_0128_0007__carries_r_0128_0009__on [arg1] r_0128_0005__the_r_0128_0006__hedgehog the hedgehog r_0128_0007__carries_r_0128_0009__on->r_0128_0005__the_r_0128_0006__hedgehog [arg0] r_0128_0008__apples apples r_0128_0007__carries_r_0128_0009__on->r_0128_0008__apples [arg1] r_0128_0011__spine spine r_0128_0007__carries_r_0128_0009__on->r_0128_0011__spine [arg2] r_0128_0014__nest nest r_0128_0007__carries_r_0128_0009__on->r_0128_0014__nest into [nim] r_0128_0011__spine->r_0128_0005__the_r_0128_0006__hedgehog [gen] r_0128_0014__nest->r_0128_0005__the_r_0128_0006__hedgehog [gen] 
fof(formula,axiom,
    ? [R_0128_0001__ARISTOTLE,R_0128_0005__THE_R_0128_0006__HEDGEHOG,R_0128_0008__APPLES,R_0128_0011__SPINE,R_0128_0014__NEST,R_0128_0007__CARRIES_R_0128_0009__ON,R_0128_0002__POINTS_R_0128_0003__OUT] :
      ( r_0128_0001__Aristotle(R_0128_0001__ARISTOTLE)
      & r_0128_0005__the_r_0128_0006__hedgehog(R_0128_0005__THE_R_0128_0006__HEDGEHOG)
      & r_0128_0008__apples(R_0128_0008__APPLES)
      & r_0128_0002__points_r_0128_0003__out(R_0128_0002__POINTS_R_0128_0003__OUT)
      & has_arg1(R_0128_0002__POINTS_R_0128_0003__OUT,R_0128_0007__CARRIES_R_0128_0009__ON)
      & r_0128_0007__carries_r_0128_0009__on(R_0128_0007__CARRIES_R_0128_0009__ON)
      & has_r_0128_0012__into__nim(R_0128_0007__CARRIES_R_0128_0009__ON,R_0128_0014__NEST)
      & r_0128_0014__nest(R_0128_0014__NEST)
      & has_gen(R_0128_0014__NEST,R_0128_0005__THE_R_0128_0006__HEDGEHOG)
      & has_arg2(R_0128_0007__CARRIES_R_0128_0009__ON,R_0128_0011__SPINE)
      & r_0128_0011__spine(R_0128_0011__SPINE)
      & has_gen(R_0128_0011__SPINE,R_0128_0005__THE_R_0128_0006__HEDGEHOG)
      & has_arg1(R_0128_0007__CARRIES_R_0128_0009__ON,R_0128_0008__APPLES)
      & has_arg0(R_0128_0007__CARRIES_R_0128_0009__ON,R_0128_0005__THE_R_0128_0006__HEDGEHOG)
      & has_arg0(R_0128_0002__POINTS_R_0128_0003__OUT,R_0128_0001__ARISTOTLE) ) ).