TSPC 129_a_hedgehog

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

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

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_0008__travels,arg1).
arc(r_0129_0008__travels,r_0129_0006__the_r_0129_0007__hedgehog,arg0).
arc(r_0129_0008__travels,r_0129_0010__grapes,r_0129_0009__with__nim).
arc(r_0129_0011__embedded_r_0129_0012__on,r_0129_0010__grapes,inv_arg1).
arc(r_0129_0011__embedded_r_0129_0012__on,r_0129_0014__spine,arg2).
arc(r_0129_0011__embedded_r_0129_0012__on,z_0129_5007___star_,arg0).
arc(r_0129_0014__spine,r_0129_0006__the_r_0129_0007__hedgehog,gen).

fof(formula,axiom,
    ? [R_0129_0003__SEVILLE,R_0129_0001__ISIDORE,R_0129_0006__THE_R_0129_0007__HEDGEHOG,R_0129_0014__SPINE,Z_0129_5007___STAR_,R_0129_0011__EMBEDDED_R_0129_0012__ON,R_0129_0010__GRAPES,R_0129_0008__TRAVELS,R_0129_0004__ARGUES] :
      ( r_0129_0003__Seville(R_0129_0003__SEVILLE)
      & r_0129_0006__the_r_0129_0007__hedgehog(R_0129_0006__THE_R_0129_0007__HEDGEHOG)
      & z_0129_5007___star_(Z_0129_5007___STAR_)
      & r_0129_0004__argues(R_0129_0004__ARGUES)
      & has_arg1(R_0129_0004__ARGUES,R_0129_0008__TRAVELS)
      & r_0129_0008__travels(R_0129_0008__TRAVELS)
      & has_r_0129_0009__with__nim(R_0129_0008__TRAVELS,R_0129_0010__GRAPES)
      & r_0129_0010__grapes(R_0129_0010__GRAPES)
      & has_inv_arg1(R_0129_0010__GRAPES,R_0129_0011__EMBEDDED_R_0129_0012__ON)
      & r_0129_0011__embedded_r_0129_0012__on(R_0129_0011__EMBEDDED_R_0129_0012__ON)
      & has_arg0(R_0129_0011__EMBEDDED_R_0129_0012__ON,Z_0129_5007___STAR_)
      & has_arg2(R_0129_0011__EMBEDDED_R_0129_0012__ON,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_arg0(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) ) ).