TSPC 145_a_hedgehog

145_a_hedgehog
The things that prey on the hedgehog are sometimes things that we treasure.

( (IP-MAT (NP-SBJ (D The;{the})
                  (NS things;{thing})
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (VBP;_Ipr_ prey;{prey[on]})
                          (PP-CLR (P-ROLE on;{on})
                                  (NP (D the;{the})
                                      (N hedgehog;{hedgehog})))))
          (BEP;_Ln_ are;{be})
          (ADVP-NIM (ADV sometimes;{sometimes}))
          (NP-PRD (NS things;{thing})
                  (IP-REL (C that;{that})
                          (NP-OB1 *T*)
                          (NP-SBJ (PRO we;{we}))
                          (VBP;_Tn_ treasure;{treasure})))
          (PUNC .))
  (ID 145_a_hedgehog;speaker=Stewart))

arc(r_0145_0004__prey_r_0145_0005__on,r_0145_0001__The_r_0145_0002__things,inv_arg0).
arc(r_0145_0004__prey_r_0145_0005__on,r_0145_0006__the_r_0145_0007__hedgehog,arg1).
arc(r_0145_0008__are,r_0145_0001__The_r_0145_0002__things,arg0).
arc(r_0145_0008__are,r_0145_0009__sometimes,nim).
arc(r_0145_0008__are,r_0145_0010__things,prd).
arc(r_0145_0013__treasure,r_0145_0010__things,inv_arg1).
arc(r_0145_0013__treasure,r_0145_0012__we,arg0).

fof(formula,axiom,
    ? [R_0145_0006__THE_R_0145_0007__HEDGEHOG,R_0145_0004__PREY_R_0145_0005__ON,R_0145_0001__THE_R_0145_0002__THINGS,R_0145_0009__SOMETIMES,R_0145_0012__WE,R_0145_0013__TREASURE,R_0145_0010__THINGS,R_0145_0008__ARE] :
      ( r_0145_0006__the_r_0145_0007__hedgehog(R_0145_0006__THE_R_0145_0007__HEDGEHOG)
      & r_0145_0009__sometimes(R_0145_0009__SOMETIMES)
      & r_0145_0012__we(R_0145_0012__WE)
      & r_0145_0008__are(R_0145_0008__ARE)
      & has_prd(R_0145_0008__ARE,R_0145_0010__THINGS)
      & r_0145_0010__things(R_0145_0010__THINGS)
      & has_inv_arg1(R_0145_0010__THINGS,R_0145_0013__TREASURE)
      & r_0145_0013__treasure(R_0145_0013__TREASURE)
      & has_arg0(R_0145_0013__TREASURE,R_0145_0012__WE)
      & has_nim(R_0145_0008__ARE,R_0145_0009__SOMETIMES)
      & has_arg0(R_0145_0008__ARE,R_0145_0001__THE_R_0145_0002__THINGS)
      & r_0145_0001__The_r_0145_0002__things(R_0145_0001__THE_R_0145_0002__THINGS)
      & has_inv_arg0(R_0145_0001__THE_R_0145_0002__THINGS,R_0145_0004__PREY_R_0145_0005__ON)
      & r_0145_0004__prey_r_0145_0005__on(R_0145_0004__PREY_R_0145_0005__ON)
      & has_arg1(R_0145_0004__PREY_R_0145_0005__ON,R_0145_0006__THE_R_0145_0007__HEDGEHOG) ) ).