TSPC 15_a_potter

15_a_potter_1902
He lost one of his shoes among the cabbages, and the other shoe amongst the potatoes.

( (IP-MAT (NP-SBJ;{PETER} (PRO He;{he}))
          (ILYR (ILYR (VBD;_Tn_ lost;{lose})
                      (NP-OB1 (D;_nphd_ one;{one})
                              (PP (P-ROLE of;{of})
                                  (NP;{SHOES} (NP-GEN;{PETER} (PRO;_genm_ his;{his}))
                                              (NS shoes;{shoe}))))
                      (PP-NIM (P-ROLE among;{among})
                              (NP (D the;{the})
                                  (NS cabbages;{cabbage}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-OB1 (D the;{the})
                                     (ADJP (ADJ other;{other}))
                                     (N shoe;{shoe}))
                             (PP-NIM (P-ROLE amongst;{amongst})
                                     (NP (D the;{the})
                                         (NS potatoes;{potato}))))))
          (PUNC .))
  (ID 15_a_potter_1902))

arc(r_0015_0002__lost,r_0015_0001__He,arg0).
arc(r_0015_0002__lost,r_0015_0003__one,arg1).
arc(r_0015_0002__lost,r_0015_0008__the_r_0015_0009__cabbages,r_0015_0007__among__nim).
arc(r_0015_0003__one,r_0015_0006__shoes,r_0015_0004__of).
arc(r_0015_0006__shoes,r_0015_0001__He,gen).
arc(r_0015_0011__and,r_0015_0002__lost,conj1).
arc(r_0015_0011__and,z_0015_5008,conj2).
arc(r_0015_0012__the_r_0015_0014__shoe,r_0015_0013__other,attrib).
arc(z_0015_5008,r_0015_0001__He,arg0).
arc(z_0015_5008,r_0015_0012__the_r_0015_0014__shoe,arg1).
arc(z_0015_5008,r_0015_0016__the_r_0015_0017__potatoes,r_0015_0015__amongst__nim).

fof(formula,axiom,
    ? [R_0015_0001__HE,R_0015_0006__SHOES,R_0015_0003__ONE,R_0015_0008__THE_R_0015_0009__CABBAGES,R_0015_0002__LOST,R_0015_0013__OTHER,R_0015_0012__THE_R_0015_0014__SHOE,R_0015_0016__THE_R_0015_0017__POTATOES,Z_0015_5008,R_0015_0011__AND] :
      ( r_0015_0001__He(R_0015_0001__HE)
      & r_0015_0008__the_r_0015_0009__cabbages(R_0015_0008__THE_R_0015_0009__CABBAGES)
      & r_0015_0013__other(R_0015_0013__OTHER)
      & r_0015_0016__the_r_0015_0017__potatoes(R_0015_0016__THE_R_0015_0017__POTATOES)
      & r_0015_0011__and(R_0015_0011__AND)
      & has_conj2(R_0015_0011__AND,Z_0015_5008)
      & z_0015_5008(Z_0015_5008)
      & has_r_0015_0015__amongst__nim(Z_0015_5008,R_0015_0016__THE_R_0015_0017__POTATOES)
      & has_arg1(Z_0015_5008,R_0015_0012__THE_R_0015_0014__SHOE)
      & r_0015_0012__the_r_0015_0014__shoe(R_0015_0012__THE_R_0015_0014__SHOE)
      & has_attrib(R_0015_0012__THE_R_0015_0014__SHOE,R_0015_0013__OTHER)
      & has_arg0(Z_0015_5008,R_0015_0001__HE)
      & has_conj1(R_0015_0011__AND,R_0015_0002__LOST)
      & r_0015_0002__lost(R_0015_0002__LOST)
      & has_r_0015_0007__among__nim(R_0015_0002__LOST,R_0015_0008__THE_R_0015_0009__CABBAGES)
      & has_arg1(R_0015_0002__LOST,R_0015_0003__ONE)
      & r_0015_0003__one(R_0015_0003__ONE)
      & has_r_0015_0004__of(R_0015_0003__ONE,R_0015_0006__SHOES)
      & r_0015_0006__shoes(R_0015_0006__SHOES)
      & has_gen(R_0015_0006__SHOES,R_0015_0001__HE)
      & has_arg0(R_0015_0002__LOST,R_0015_0001__HE) ) ).