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_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] 
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_4 Aristotle n128_a_hedgehog_6 points n128_a_hedgehog_8 out n128_a_hedgehog_12 that n128_a_hedgehog_15 the n128_a_hedgehog_17 hedgehog n128_a_hedgehog_19 carries n128_a_hedgehog_22 apples n128_a_hedgehog_25 on n128_a_hedgehog_29 his n128_a_hedgehog_31 spine n128_a_hedgehog_34 into n128_a_hedgehog_38 his n128_a_hedgehog_40 nest n128_a_hedgehog_42 . n128_a_hedgehog_1 IP-MAT n128_a_hedgehog_2 NP-SBJ n128_a_hedgehog_1->n128_a_hedgehog_2 n128_a_hedgehog_5 VBP;_phr_Vp.f_ n128_a_hedgehog_1->n128_a_hedgehog_5 n128_a_hedgehog_7 RP n128_a_hedgehog_1->n128_a_hedgehog_7 n128_a_hedgehog_9 CP-THT-OB1 n128_a_hedgehog_1->n128_a_hedgehog_9 n128_a_hedgehog_41 PUNC n128_a_hedgehog_1->n128_a_hedgehog_41 n128_a_hedgehog_3 NPR n128_a_hedgehog_2->n128_a_hedgehog_3 n128_a_hedgehog_3->n128_a_hedgehog_4 n128_a_hedgehog_5->n128_a_hedgehog_6 n128_a_hedgehog_7->n128_a_hedgehog_8 n128_a_hedgehog_10 IP-SUB n128_a_hedgehog_9->n128_a_hedgehog_10 n128_a_hedgehog_11 C n128_a_hedgehog_10->n128_a_hedgehog_11 n128_a_hedgehog_13 NP-SBJ n128_a_hedgehog_10->n128_a_hedgehog_13 n128_a_hedgehog_18 VBP;_Tn.pr_ n128_a_hedgehog_10->n128_a_hedgehog_18 n128_a_hedgehog_20 NP-OB1 n128_a_hedgehog_10->n128_a_hedgehog_20 n128_a_hedgehog_23 PP-CLR n128_a_hedgehog_10->n128_a_hedgehog_23 n128_a_hedgehog_32 PP-NIM n128_a_hedgehog_10->n128_a_hedgehog_32 n128_a_hedgehog_11->n128_a_hedgehog_12 n128_a_hedgehog_14 D n128_a_hedgehog_13->n128_a_hedgehog_14 n128_a_hedgehog_16 N n128_a_hedgehog_13->n128_a_hedgehog_16 n128_a_hedgehog_14->n128_a_hedgehog_15 n128_a_hedgehog_16->n128_a_hedgehog_17 n128_a_hedgehog_18->n128_a_hedgehog_19 n128_a_hedgehog_21 NS n128_a_hedgehog_20->n128_a_hedgehog_21 n128_a_hedgehog_21->n128_a_hedgehog_22 n128_a_hedgehog_24 P-ROLE n128_a_hedgehog_23->n128_a_hedgehog_24 n128_a_hedgehog_26 NP n128_a_hedgehog_23->n128_a_hedgehog_26 n128_a_hedgehog_24->n128_a_hedgehog_25 n128_a_hedgehog_27 NP-GEN n128_a_hedgehog_26->n128_a_hedgehog_27 n128_a_hedgehog_30 N n128_a_hedgehog_26->n128_a_hedgehog_30 n128_a_hedgehog_28 PRO;_genm_ n128_a_hedgehog_27->n128_a_hedgehog_28 n128_a_hedgehog_28->n128_a_hedgehog_29 n128_a_hedgehog_30->n128_a_hedgehog_31 n128_a_hedgehog_33 P-ROLE n128_a_hedgehog_32->n128_a_hedgehog_33 n128_a_hedgehog_35 NP n128_a_hedgehog_32->n128_a_hedgehog_35 n128_a_hedgehog_33->n128_a_hedgehog_34 n128_a_hedgehog_36 NP-GEN n128_a_hedgehog_35->n128_a_hedgehog_36 n128_a_hedgehog_39 N n128_a_hedgehog_35->n128_a_hedgehog_39 n128_a_hedgehog_37 PRO;_genm_ n128_a_hedgehog_36->n128_a_hedgehog_37 n128_a_hedgehog_37->n128_a_hedgehog_38 n128_a_hedgehog_39->n128_a_hedgehog_40 n128_a_hedgehog_41->n128_a_hedgehog_42 
( (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))