Context                Previous, Next                Top


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

%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_0004__that_r_0128_0007__carries that carries r_0128_0002__points_r_0128_0003__out->r_0128_0004__that_r_0128_0007__carries [arg1] r_0128_0005__the_r_0128_0006__hedgehog the hedgehog r_0128_0004__that_r_0128_0007__carries->r_0128_0005__the_r_0128_0006__hedgehog [arg0] r_0128_0008__apples apples r_0128_0004__that_r_0128_0007__carries->r_0128_0008__apples [arg1] r_0128_0011__spine spine r_0128_0004__that_r_0128_0007__carries->r_0128_0011__spine on [clr] r_0128_0014__nest nest r_0128_0004__that_r_0128_0007__carries->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] 
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_0004__that_r_0128_0007__carries, arg1).
arc(r_0128_0004__that_r_0128_0007__carries, r_0128_0005__the_r_0128_0006__hedgehog, arg0).
arc(r_0128_0004__that_r_0128_0007__carries, r_0128_0008__apples, arg1).
arc(r_0128_0004__that_r_0128_0007__carries, r_0128_0011__spine, r_0128_0009__on_clr26).
arc(r_0128_0004__that_r_0128_0007__carries, r_0128_0014__nest, r_0128_0012__into_nim35).
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_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_0004__that_r_0128_0007__carries that carries r_0128_0004__that_r_0128_0007__carries->r_0128_0014__nest into [nim] r_0128_0004__that_r_0128_0007__carries->r_0128_0005__the_r_0128_0006__hedgehog [arg0] r_0128_0004__that_r_0128_0007__carries->r_0128_0011__spine on [clr] r_0128_0008__apples apples r_0128_0004__that_r_0128_0007__carries->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_0004__that_r_0128_0007__carries [arg1] r_0128_0001__Aristotle Aristotle r_0128_0002__points_r_0128_0003__out->r_0128_0001__Aristotle [arg0] 
fof(formula,axiom,
    ? [R_128_2_POINTS_OUT,R_128_1_ARISTOTLE,R_128_4_THAT_CARRIES,R_128_8_APPLES,R_128_11_SPINE,R_128_14_NEST,R_128_5_THE_HEDGEHOG] :
      ( aristotle(R_128_1_ARISTOTLE)
      & apples(R_128_8_APPLES)
      & the_hedgehog(R_128_5_THE_HEDGEHOG)
      & points_out(R_128_2_POINTS_OUT,R_128_1_ARISTOTLE,R_128_4_THAT_CARRIES)
      & that_carries(R_128_4_THAT_CARRIES,R_128_5_THE_HEDGEHOG,R_128_8_APPLES)
      & on_clr26(R_128_4_THAT_CARRIES,R_128_11_SPINE)
      & spine(R_128_11_SPINE)
      & gen(R_128_11_SPINE,R_128_5_THE_HEDGEHOG)
      & into_nim35(R_128_4_THAT_CARRIES,R_128_14_NEST)
      & nest(R_128_14_NEST)
      & gen(R_128_14_NEST,R_128_5_THE_HEDGEHOG) ) ).


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))