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,
    ? [R_15_3_WAS_HOLDING,R_15_2_I,R_15_5_AN_PACK,R_15_6_UNOPENED,R_15_11_LEAKED,R_15_9_THE_CONTENTS,Z_15_A_TAKMI_2,R_15_13_THE_BOTTOM,R_15_16_THE_JUICE_PACK] :
      ( i(R_15_2_I)
      & unopened(R_15_6_UNOPENED)
      & the_contents(R_15_9_THE_CONTENTS)
      & the_juice_pack(R_15_16_THE_JUICE_PACK)
      & was_holding(R_15_3_WAS_HOLDING,R_15_2_I,R_15_5_AN_PACK)
      & an_pack(R_15_5_AN_PACK)
      & attrib18(R_15_5_AN_PACK,R_15_6_UNOPENED)
      & nim4(R_15_3_WAS_HOLDING,Z_15_A_TAKMI_2)
      & leaked(R_15_11_LEAKED,R_15_9_THE_CONTENTS)
      & nim2(R_15_11_LEAKED,Z_15_A_TAKMI_2)
      & from_clr35(R_15_11_LEAKED,R_15_13_THE_BOTTOM)
      & the_bottom(R_15_13_THE_BOTTOM)
      & of(R_15_13_THE_BOTTOM,R_15_16_THE_JUICE_PACK) ) ).

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