Context                Previous, Next                Top


129_a_hedgehog
Isidore of Seville argues that the hedgehog travels with grapes embedded on his spine.

%3 r_0129_0001__Isidore Isidore r_0129_0003__Seville Seville r_0129_0001__Isidore->r_0129_0003__Seville of r_0129_0004__argues argues r_0129_0004__argues->r_0129_0001__Isidore [arg0] r_0129_0005__that_r_0129_0008__travels that travels r_0129_0004__argues->r_0129_0005__that_r_0129_0008__travels [arg1] r_0129_0006__the_r_0129_0007__hedgehog the hedgehog r_0129_0005__that_r_0129_0008__travels->r_0129_0006__the_r_0129_0007__hedgehog [arg0] r_0129_0010__grapes grapes r_0129_0005__that_r_0129_0008__travels->r_0129_0010__grapes with [nim] r_0129_0011__embedded embedded r_0129_0011__embedded->r_0129_0010__grapes [arg1] r_0129_0014__spine spine r_0129_0011__embedded->r_0129_0014__spine on [clr] z_000_129_a_hedgehog_31 r_0129_0011__embedded->z_000_129_a_hedgehog_31 [arg0] r_0129_0014__spine->r_0129_0006__the_r_0129_0007__hedgehog [gen] 
arc(r_0129_0001__Isidore, r_0129_0003__Seville, r_0129_0002__of).
arc(r_0129_0004__argues, r_0129_0001__Isidore, arg0).
arc(r_0129_0004__argues, r_0129_0005__that_r_0129_0008__travels, arg1).
arc(r_0129_0005__that_r_0129_0008__travels, r_0129_0006__the_r_0129_0007__hedgehog, arg0).
arc(r_0129_0005__that_r_0129_0008__travels, r_0129_0010__grapes, r_0129_0009__with_nim27).
arc(r_0129_0011__embedded, r_0129_0010__grapes, arg1).
arc(r_0129_0011__embedded, r_0129_0014__spine, r_0129_0012__on_clr38).
arc(r_0129_0011__embedded, z_000_129_a_hedgehog_31, arg0).
arc(r_0129_0014__spine, r_0129_0006__the_r_0129_0007__hedgehog, gen).


%3 r_0129_0014__spine spine r_0129_0006__the_r_0129_0007__hedgehog the hedgehog r_0129_0014__spine->r_0129_0006__the_r_0129_0007__hedgehog [gen] r_0129_0011__embedded embedded r_0129_0011__embedded->r_0129_0014__spine on [clr] z_000_129_a_hedgehog_31 r_0129_0011__embedded->z_000_129_a_hedgehog_31 [arg0] r_0129_0010__grapes grapes r_0129_0011__embedded->r_0129_0010__grapes [arg1] r_0129_0005__that_r_0129_0008__travels that travels r_0129_0005__that_r_0129_0008__travels->r_0129_0006__the_r_0129_0007__hedgehog [arg0] r_0129_0005__that_r_0129_0008__travels->r_0129_0010__grapes with [nim] r_0129_0004__argues argues r_0129_0004__argues->r_0129_0005__that_r_0129_0008__travels [arg1] r_0129_0001__Isidore Isidore r_0129_0004__argues->r_0129_0001__Isidore [arg0] r_0129_0003__Seville Seville r_0129_0001__Isidore->r_0129_0003__Seville of 
fof(formula,axiom,
    ? [R_0129_0003__SEVILLE,R_0129_0001__ISIDORE,R_0129_0006__THE_R_0129_0007__HEDGEHOG,R_0129_0010__GRAPES,R_0129_0005__THAT_R_0129_0008__TRAVELS,R_0129_0004__ARGUES,R_0129_0014__SPINE,Z_000_129_A_HEDGEHOG_31,R_0129_0011__EMBEDDED] :
      ( r_0129_0003__Seville(R_0129_0003__SEVILLE)
      & r_0129_0006__the_r_0129_0007__hedgehog(R_0129_0006__THE_R_0129_0007__HEDGEHOG)
      & r_0129_0010__grapes(R_0129_0010__GRAPES)
      & z_000_129_a_hedgehog_31(Z_000_129_A_HEDGEHOG_31)
      & r_0129_0011__embedded(R_0129_0011__EMBEDDED)
      & has_arg0(R_0129_0011__EMBEDDED,Z_000_129_A_HEDGEHOG_31)
      & has_r_0129_0012__on_clr38(R_0129_0011__EMBEDDED,R_0129_0014__SPINE)
      & r_0129_0014__spine(R_0129_0014__SPINE)
      & has_gen(R_0129_0014__SPINE,R_0129_0006__THE_R_0129_0007__HEDGEHOG)
      & has_arg1(R_0129_0011__EMBEDDED,R_0129_0010__GRAPES)
      & r_0129_0004__argues(R_0129_0004__ARGUES)
      & has_arg1(R_0129_0004__ARGUES,R_0129_0005__THAT_R_0129_0008__TRAVELS)
      & r_0129_0005__that_r_0129_0008__travels(R_0129_0005__THAT_R_0129_0008__TRAVELS)
      & has_r_0129_0009__with_nim27(R_0129_0005__THAT_R_0129_0008__TRAVELS,R_0129_0010__GRAPES)
      & has_arg0(R_0129_0005__THAT_R_0129_0008__TRAVELS,R_0129_0006__THE_R_0129_0007__HEDGEHOG)
      & has_arg0(R_0129_0004__ARGUES,R_0129_0001__ISIDORE)
      & r_0129_0001__Isidore(R_0129_0001__ISIDORE)
      & has_r_0129_0002__of(R_0129_0001__ISIDORE,R_0129_0003__SEVILLE) ) ).


n129_a_hedgehog n129_a_hedgehog__1_1_1_1 Isidore n129_a_hedgehog__1_1_2_1_1 of n129_a_hedgehog__1_1_2_2_1_1 Seville n129_a_hedgehog__1_2_1 argues n129_a_hedgehog__1_3_1_1_1 that n129_a_hedgehog__1_3_1_2_1_1 the n129_a_hedgehog__1_3_1_2_2_1 hedgehog n129_a_hedgehog__1_3_1_3_1 travels n129_a_hedgehog__1_3_1_4_1_1 with n129_a_hedgehog__1_3_1_4_2_1_1 grapes n129_a_hedgehog__1_3_1_4_2_2_1_1 * n129_a_hedgehog__1_3_1_4_2_2_2_1 embedded n129_a_hedgehog__1_3_1_4_2_2_3_1_1 on n129_a_hedgehog__1_3_1_4_2_2_3_2_1_1_1 his n129_a_hedgehog__1_3_1_4_2_2_3_2_2_1 spine n129_a_hedgehog__1_4_1 . n129_a_hedgehog__1 IP-MAT n129_a_hedgehog__1_1 NP-SBJ n129_a_hedgehog__1->n129_a_hedgehog__1_1 n129_a_hedgehog__1_2 VBP;_Tf_ n129_a_hedgehog__1->n129_a_hedgehog__1_2 n129_a_hedgehog__1_3 CP-THT-OB1 n129_a_hedgehog__1->n129_a_hedgehog__1_3 n129_a_hedgehog__1_4 PUNC n129_a_hedgehog__1->n129_a_hedgehog__1_4 n129_a_hedgehog__1_1_1 N n129_a_hedgehog__1_1->n129_a_hedgehog__1_1_1 n129_a_hedgehog__1_1_2 PP n129_a_hedgehog__1_1->n129_a_hedgehog__1_1_2 n129_a_hedgehog__1_1_1->n129_a_hedgehog__1_1_1_1 n129_a_hedgehog__1_1_2_1 P-ROLE n129_a_hedgehog__1_1_2->n129_a_hedgehog__1_1_2_1 n129_a_hedgehog__1_1_2_2 NP n129_a_hedgehog__1_1_2->n129_a_hedgehog__1_1_2_2 n129_a_hedgehog__1_1_2_1->n129_a_hedgehog__1_1_2_1_1 n129_a_hedgehog__1_1_2_2_1 NPR n129_a_hedgehog__1_1_2_2->n129_a_hedgehog__1_1_2_2_1 n129_a_hedgehog__1_1_2_2_1->n129_a_hedgehog__1_1_2_2_1_1 n129_a_hedgehog__1_2->n129_a_hedgehog__1_2_1 n129_a_hedgehog__1_3_1 IP-SUB n129_a_hedgehog__1_3->n129_a_hedgehog__1_3_1 n129_a_hedgehog__1_3_1_1 C n129_a_hedgehog__1_3_1->n129_a_hedgehog__1_3_1_1 n129_a_hedgehog__1_3_1_2 NP-SBJ n129_a_hedgehog__1_3_1->n129_a_hedgehog__1_3_1_2 n129_a_hedgehog__1_3_1_3 VBP;_I_ n129_a_hedgehog__1_3_1->n129_a_hedgehog__1_3_1_3 n129_a_hedgehog__1_3_1_4 PP-NIM n129_a_hedgehog__1_3_1->n129_a_hedgehog__1_3_1_4 n129_a_hedgehog__1_3_1_1->n129_a_hedgehog__1_3_1_1_1 n129_a_hedgehog__1_3_1_2_1 D n129_a_hedgehog__1_3_1_2->n129_a_hedgehog__1_3_1_2_1 n129_a_hedgehog__1_3_1_2_2 N n129_a_hedgehog__1_3_1_2->n129_a_hedgehog__1_3_1_2_2 n129_a_hedgehog__1_3_1_2_1->n129_a_hedgehog__1_3_1_2_1_1 n129_a_hedgehog__1_3_1_2_2->n129_a_hedgehog__1_3_1_2_2_1 n129_a_hedgehog__1_3_1_3->n129_a_hedgehog__1_3_1_3_1 n129_a_hedgehog__1_3_1_4_1 P-ROLE n129_a_hedgehog__1_3_1_4->n129_a_hedgehog__1_3_1_4_1 n129_a_hedgehog__1_3_1_4_2 NP n129_a_hedgehog__1_3_1_4->n129_a_hedgehog__1_3_1_4_2 n129_a_hedgehog__1_3_1_4_1->n129_a_hedgehog__1_3_1_4_1_1 n129_a_hedgehog__1_3_1_4_2_1 NS n129_a_hedgehog__1_3_1_4_2->n129_a_hedgehog__1_3_1_4_2_1 n129_a_hedgehog__1_3_1_4_2_2 IP-PPL n129_a_hedgehog__1_3_1_4_2->n129_a_hedgehog__1_3_1_4_2_2 n129_a_hedgehog__1_3_1_4_2_1->n129_a_hedgehog__1_3_1_4_2_1_1 n129_a_hedgehog__1_3_1_4_2_2_1 NP-LGS n129_a_hedgehog__1_3_1_4_2_2->n129_a_hedgehog__1_3_1_4_2_2_1 n129_a_hedgehog__1_3_1_4_2_2_2 VVN;_Tn.pr_ n129_a_hedgehog__1_3_1_4_2_2->n129_a_hedgehog__1_3_1_4_2_2_2 n129_a_hedgehog__1_3_1_4_2_2_3 PP-CLR n129_a_hedgehog__1_3_1_4_2_2->n129_a_hedgehog__1_3_1_4_2_2_3 n129_a_hedgehog__1_3_1_4_2_2_1->n129_a_hedgehog__1_3_1_4_2_2_1_1 n129_a_hedgehog__1_3_1_4_2_2_2->n129_a_hedgehog__1_3_1_4_2_2_2_1 n129_a_hedgehog__1_3_1_4_2_2_3_1 P-ROLE n129_a_hedgehog__1_3_1_4_2_2_3->n129_a_hedgehog__1_3_1_4_2_2_3_1 n129_a_hedgehog__1_3_1_4_2_2_3_2 NP n129_a_hedgehog__1_3_1_4_2_2_3->n129_a_hedgehog__1_3_1_4_2_2_3_2 n129_a_hedgehog__1_3_1_4_2_2_3_1->n129_a_hedgehog__1_3_1_4_2_2_3_1_1 n129_a_hedgehog__1_3_1_4_2_2_3_2_1 NP-GEN n129_a_hedgehog__1_3_1_4_2_2_3_2->n129_a_hedgehog__1_3_1_4_2_2_3_2_1 n129_a_hedgehog__1_3_1_4_2_2_3_2_2 N n129_a_hedgehog__1_3_1_4_2_2_3_2->n129_a_hedgehog__1_3_1_4_2_2_3_2_2 n129_a_hedgehog__1_3_1_4_2_2_3_2_1_1 PRO;_genm_ n129_a_hedgehog__1_3_1_4_2_2_3_2_1->n129_a_hedgehog__1_3_1_4_2_2_3_2_1_1 n129_a_hedgehog__1_3_1_4_2_2_3_2_1_1->n129_a_hedgehog__1_3_1_4_2_2_3_2_1_1_1 n129_a_hedgehog__1_3_1_4_2_2_3_2_2->n129_a_hedgehog__1_3_1_4_2_2_3_2_2_1 n129_a_hedgehog__1_4->n129_a_hedgehog__1_4_1 
( (IP-MAT (NP-SBJ (N Isidore;{isidore})
                  (PP (P-ROLE of;{of})
                      (NP (NPR Seville;{Seville}))))
          (VBP;_Tf_ argues;{argue})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{HEDGEHOG} (D the;{the})
                                                 (N hedgehog;{hedgehog}))
                              (VBP;_I_ travels;{travel})
                              (PP-NIM (P-ROLE with;{with})
                                      (NP (NS grapes;{grape})
                                          (IP-PPL (NP-LGS *)
                                                  (VVN;_Tn.pr_ embedded;{embed[on]})
                                                  (PP-CLR (P-ROLE on;{on})
                                                          (NP (NP-GEN;{HEDGEHOG} (PRO;_genm_ his;{his}))
                                                              (N spine;{spine}))))))))
          (PUNC .))
  (ID 129_a_hedgehog;speaker=Stewart))