TSPC 15_a

15_a_takmi
When I was holding an unopened pack, the contents leaked from the bottom of the juice pack.

arc(r_0015_0003__was, r_0015_0004__holding, scope).
arc(r_0015_0003__was, z_000_15_a_takmi_2, nim4).
arc(r_0015_0004__holding, r_0015_0002__I, arg0).
arc(r_0015_0004__holding, r_0015_0005__an_r_0015_0007__pack, arg1).
arc(r_0015_0005__an_r_0015_0007__pack, r_0015_0006__unopened, attrib18).
arc(r_0015_0011__leaked, r_0015_0009__the_r_0015_0010__contents, arg0).
arc(r_0015_0011__leaked, r_0015_0013__the_r_0015_0014__bottom, r_0015_0012__from_clr35).
arc(r_0015_0011__leaked, z_000_15_a_takmi_2, nim2).
arc(r_0015_0013__the_r_0015_0014__bottom, r_0015_0016__the_r_0015_0017__juice_r_0015_0018__pack, r_0015_0015__of).

fof(formula,axiom,
    ? [Z_000_15_A_TAKMI_2,R_0015_0002__I,R_0015_0006__UNOPENED,R_0015_0005__AN_R_0015_0007__PACK,R_0015_0003__WAS_R_0015_0004__HOLDING,R_0015_0009__THE_R_0015_0010__CONTENTS,R_0015_0016__THE_R_0015_0017__JUICE_R_0015_0018__PACK,R_0015_0013__THE_R_0015_0014__BOTTOM,R_0015_0011__LEAKED] :
      ( r_0015_0002__I(R_0015_0002__I)
      & r_0015_0006__unopened(R_0015_0006__UNOPENED)
      & r_0015_0009__the_r_0015_0010__contents(R_0015_0009__THE_R_0015_0010__CONTENTS)
      & r_0015_0016__the_r_0015_0017__juice_r_0015_0018__pack(R_0015_0016__THE_R_0015_0017__JUICE_R_0015_0018__PACK)
      & z_000_15_a_takmi_2(Z_000_15_A_TAKMI_2)
      & r_0015_0011__leaked(R_0015_0011__LEAKED)
      & has_nim2(R_0015_0011__LEAKED,Z_000_15_A_TAKMI_2)
      & has_r_0015_0012__from_clr35(R_0015_0011__LEAKED,R_0015_0013__THE_R_0015_0014__BOTTOM)
      & r_0015_0013__the_r_0015_0014__bottom(R_0015_0013__THE_R_0015_0014__BOTTOM)
      & has_r_0015_0015__of(R_0015_0013__THE_R_0015_0014__BOTTOM,R_0015_0016__THE_R_0015_0017__JUICE_R_0015_0018__PACK)
      & has_arg0(R_0015_0011__LEAKED,R_0015_0009__THE_R_0015_0010__CONTENTS)
      & r_0015_0003__was_r_0015_0004__holding(R_0015_0003__WAS_R_0015_0004__HOLDING)
      & has_arg1(R_0015_0003__WAS_R_0015_0004__HOLDING,R_0015_0005__AN_R_0015_0007__PACK)
      & r_0015_0005__an_r_0015_0007__pack(R_0015_0005__AN_R_0015_0007__PACK)
      & has_attrib18(R_0015_0005__AN_R_0015_0007__PACK,R_0015_0006__UNOPENED)
      & has_arg0(R_0015_0003__WAS_R_0015_0004__HOLDING,R_0015_0002__I)
      & has_nim4(R_0015_0003__WAS_R_0015_0004__HOLDING,Z_000_15_A_TAKMI_2) ) ).

( (IP-MAT (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
                          (NP-SBJ (PRO I;{I}))
                          (BED;_cat_Vg_ was;{be})
                          (IP-PPL-CAT (VAG;_Tn_ holding;{hold})
                                      (NP-OB1 (D an;{an})
                                              (ADJP (ADJ unopened;{unopened}))
                                              (N pack;{pack})))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NS contents;{content}))
          (VBD;_Ipr_ leaked;{leak[from]})
          (PP-CLR (P-ROLE from;{from})
                  (NP (D the;{the})
                      (N bottom;{bottom})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (N juice;{juice})
                              (N pack;{pack})))))
          (PUNC .))
  (ID 15_a_takmi))