Context                Previous, Next                Top


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

%3 r_0015_0001__When When r_0015_0003__was was r_0015_0001__When->r_0015_0003__was [restriction] r_0015_0011__leaked leaked r_0015_0001__When->r_0015_0011__leaked [scope] r_0015_0004__holding holding r_0015_0003__was->r_0015_0004__holding [scope] r_0015_0009__the_r_0015_0010__contents the contents r_0015_0011__leaked->r_0015_0009__the_r_0015_0010__contents [arg0] r_0015_0013__the_r_0015_0014__bottom the bottom r_0015_0011__leaked->r_0015_0013__the_r_0015_0014__bottom from [clr] r_0015_0002__I I r_0015_0004__holding->r_0015_0002__I [arg0] r_0015_0005__an_r_0015_0007__pack an pack r_0015_0004__holding->r_0015_0005__an_r_0015_0007__pack [arg1] r_0015_0006__unopened unopened r_0015_0005__an_r_0015_0007__pack->r_0015_0006__unopened [attrib] r_0015_0016__the_r_0015_0017__juice_r_0015_0018__pack the juice pack r_0015_0013__the_r_0015_0014__bottom->r_0015_0016__the_r_0015_0017__juice_r_0015_0018__pack of 
arc(r_0015_0001__When, r_0015_0003__was, restriction).
arc(r_0015_0001__When, r_0015_0011__leaked, scope).
arc(r_0015_0003__was, r_0015_0004__holding, scope).
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, attrib17).
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_clr34).
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).


%3 r_0015_0001__When When r_0015_0003__was_r_0015_0004__holding was holding r_0015_0001__When->r_0015_0003__was_r_0015_0004__holding [restriction] r_0015_0011__leaked leaked r_0015_0001__When->r_0015_0011__leaked [scope] r_0015_0002__I I r_0015_0003__was_r_0015_0004__holding->r_0015_0002__I [arg0] r_0015_0005__an_r_0015_0007__pack an pack r_0015_0003__was_r_0015_0004__holding->r_0015_0005__an_r_0015_0007__pack [arg1] r_0015_0009__the_r_0015_0010__contents the contents r_0015_0011__leaked->r_0015_0009__the_r_0015_0010__contents [arg0] r_0015_0013__the_r_0015_0014__bottom the bottom r_0015_0011__leaked->r_0015_0013__the_r_0015_0014__bottom from [clr] r_0015_0006__unopened unopened r_0015_0005__an_r_0015_0007__pack->r_0015_0006__unopened [attrib] r_0015_0016__the_r_0015_0017__juice_r_0015_0018__pack the juice pack r_0015_0013__the_r_0015_0014__bottom->r_0015_0016__the_r_0015_0017__juice_r_0015_0018__pack of 
fof(formula,axiom,
    ! [R_15_3_WAS_HOLDING,R_15_2_I,R_15_5_AN_PACK,R_15_6_UNOPENED] :
      ( ( i(R_15_2_I)
        & unopened(R_15_6_UNOPENED)
        & was_holding(R_15_3_WAS_HOLDING,R_15_2_I,R_15_5_AN_PACK)
        & an_pack(R_15_5_AN_PACK)
        & attrib17(R_15_5_AN_PACK,R_15_6_UNOPENED) )
     => ? [R_15_11_LEAKED,R_15_9_THE_CONTENTS,R_15_13_THE_BOTTOM,R_15_16_THE_JUICE_PACK] :
          ( the_contents(R_15_9_THE_CONTENTS)
          & the_juice_pack(R_15_16_THE_JUICE_PACK)
          & leaked(R_15_11_LEAKED,R_15_9_THE_CONTENTS)
          & from_clr34(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) ) ) ).


n15_a_takmi n15_a_takmi__1_1_1_1 When n15_a_takmi__1_1_2_1_1_1 I n15_a_takmi__1_1_2_2_1 was n15_a_takmi__1_1_2_3_1_1 holding n15_a_takmi__1_1_2_3_2_1_1 an n15_a_takmi__1_1_2_3_2_2_1_1 unopened n15_a_takmi__1_1_2_3_2_3_1 pack n15_a_takmi__1_2_1 , n15_a_takmi__1_3_1_1 the n15_a_takmi__1_3_2_1 contents n15_a_takmi__1_4_1 leaked n15_a_takmi__1_5_1_1 from n15_a_takmi__1_5_2_1_1 the n15_a_takmi__1_5_2_2_1 bottom n15_a_takmi__1_5_2_3_1_1 of n15_a_takmi__1_5_2_3_2_1_1 the n15_a_takmi__1_5_2_3_2_2_1 juice n15_a_takmi__1_5_2_3_2_3_1 pack n15_a_takmi__1_6_1 . n15_a_takmi__1 IP-MAT n15_a_takmi__1_1 PP-SCON n15_a_takmi__1->n15_a_takmi__1_1 n15_a_takmi__1_2 PUNC n15_a_takmi__1->n15_a_takmi__1_2 n15_a_takmi__1_3 NP-SBJ n15_a_takmi__1->n15_a_takmi__1_3 n15_a_takmi__1_4 VBD;_Ipr_ n15_a_takmi__1->n15_a_takmi__1_4 n15_a_takmi__1_5 PP-CLR n15_a_takmi__1->n15_a_takmi__1_5 n15_a_takmi__1_6 PUNC n15_a_takmi__1->n15_a_takmi__1_6 n15_a_takmi__1_1_1 P-CONN n15_a_takmi__1_1->n15_a_takmi__1_1_1 n15_a_takmi__1_1_2 IP-ADV n15_a_takmi__1_1->n15_a_takmi__1_1_2 n15_a_takmi__1_1_1->n15_a_takmi__1_1_1_1 n15_a_takmi__1_1_2_1 NP-SBJ n15_a_takmi__1_1_2->n15_a_takmi__1_1_2_1 n15_a_takmi__1_1_2_2 BED;_cat_Vg_ n15_a_takmi__1_1_2->n15_a_takmi__1_1_2_2 n15_a_takmi__1_1_2_3 IP-PPL-CAT n15_a_takmi__1_1_2->n15_a_takmi__1_1_2_3 n15_a_takmi__1_1_2_1_1 PRO n15_a_takmi__1_1_2_1->n15_a_takmi__1_1_2_1_1 n15_a_takmi__1_1_2_1_1->n15_a_takmi__1_1_2_1_1_1 n15_a_takmi__1_1_2_2->n15_a_takmi__1_1_2_2_1 n15_a_takmi__1_1_2_3_1 VAG;_Tn_ n15_a_takmi__1_1_2_3->n15_a_takmi__1_1_2_3_1 n15_a_takmi__1_1_2_3_2 NP-OB1 n15_a_takmi__1_1_2_3->n15_a_takmi__1_1_2_3_2 n15_a_takmi__1_1_2_3_1->n15_a_takmi__1_1_2_3_1_1 n15_a_takmi__1_1_2_3_2_1 D n15_a_takmi__1_1_2_3_2->n15_a_takmi__1_1_2_3_2_1 n15_a_takmi__1_1_2_3_2_2 ADJP n15_a_takmi__1_1_2_3_2->n15_a_takmi__1_1_2_3_2_2 n15_a_takmi__1_1_2_3_2_3 N n15_a_takmi__1_1_2_3_2->n15_a_takmi__1_1_2_3_2_3 n15_a_takmi__1_1_2_3_2_1->n15_a_takmi__1_1_2_3_2_1_1 n15_a_takmi__1_1_2_3_2_2_1 ADJ n15_a_takmi__1_1_2_3_2_2->n15_a_takmi__1_1_2_3_2_2_1 n15_a_takmi__1_1_2_3_2_2_1->n15_a_takmi__1_1_2_3_2_2_1_1 n15_a_takmi__1_1_2_3_2_3->n15_a_takmi__1_1_2_3_2_3_1 n15_a_takmi__1_2->n15_a_takmi__1_2_1 n15_a_takmi__1_3_1 D n15_a_takmi__1_3->n15_a_takmi__1_3_1 n15_a_takmi__1_3_2 NS n15_a_takmi__1_3->n15_a_takmi__1_3_2 n15_a_takmi__1_3_1->n15_a_takmi__1_3_1_1 n15_a_takmi__1_3_2->n15_a_takmi__1_3_2_1 n15_a_takmi__1_4->n15_a_takmi__1_4_1 n15_a_takmi__1_5_1 P-ROLE n15_a_takmi__1_5->n15_a_takmi__1_5_1 n15_a_takmi__1_5_2 NP n15_a_takmi__1_5->n15_a_takmi__1_5_2 n15_a_takmi__1_5_1->n15_a_takmi__1_5_1_1 n15_a_takmi__1_5_2_1 D n15_a_takmi__1_5_2->n15_a_takmi__1_5_2_1 n15_a_takmi__1_5_2_2 N n15_a_takmi__1_5_2->n15_a_takmi__1_5_2_2 n15_a_takmi__1_5_2_3 PP n15_a_takmi__1_5_2->n15_a_takmi__1_5_2_3 n15_a_takmi__1_5_2_1->n15_a_takmi__1_5_2_1_1 n15_a_takmi__1_5_2_2->n15_a_takmi__1_5_2_2_1 n15_a_takmi__1_5_2_3_1 P-ROLE n15_a_takmi__1_5_2_3->n15_a_takmi__1_5_2_3_1 n15_a_takmi__1_5_2_3_2 NP n15_a_takmi__1_5_2_3->n15_a_takmi__1_5_2_3_2 n15_a_takmi__1_5_2_3_1->n15_a_takmi__1_5_2_3_1_1 n15_a_takmi__1_5_2_3_2_1 D n15_a_takmi__1_5_2_3_2->n15_a_takmi__1_5_2_3_2_1 n15_a_takmi__1_5_2_3_2_2 N n15_a_takmi__1_5_2_3_2->n15_a_takmi__1_5_2_3_2_2 n15_a_takmi__1_5_2_3_2_3 N n15_a_takmi__1_5_2_3_2->n15_a_takmi__1_5_2_3_2_3 n15_a_takmi__1_5_2_3_2_1->n15_a_takmi__1_5_2_3_2_1_1 n15_a_takmi__1_5_2_3_2_2->n15_a_takmi__1_5_2_3_2_2_1 n15_a_takmi__1_5_2_3_2_3->n15_a_takmi__1_5_2_3_2_3_1 n15_a_takmi__1_6->n15_a_takmi__1_6_1 
( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (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))