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_4 When n15_a_takmi_8 I n15_a_takmi_10 was n15_a_takmi_13 holding n15_a_takmi_16 an n15_a_takmi_19 unopened n15_a_takmi_21 pack n15_a_takmi_23 , n15_a_takmi_26 the n15_a_takmi_28 contents n15_a_takmi_30 leaked n15_a_takmi_33 from n15_a_takmi_36 the n15_a_takmi_38 bottom n15_a_takmi_41 of n15_a_takmi_44 the n15_a_takmi_46 juice n15_a_takmi_48 pack n15_a_takmi_50 . n15_a_takmi_1 IP-MAT n15_a_takmi_2 PP-SCON n15_a_takmi_1->n15_a_takmi_2 n15_a_takmi_22 PUNC n15_a_takmi_1->n15_a_takmi_22 n15_a_takmi_24 NP-SBJ n15_a_takmi_1->n15_a_takmi_24 n15_a_takmi_29 VBD;_Ipr_ n15_a_takmi_1->n15_a_takmi_29 n15_a_takmi_31 PP-CLR n15_a_takmi_1->n15_a_takmi_31 n15_a_takmi_49 PUNC n15_a_takmi_1->n15_a_takmi_49 n15_a_takmi_3 P-CONN n15_a_takmi_2->n15_a_takmi_3 n15_a_takmi_5 IP-ADV n15_a_takmi_2->n15_a_takmi_5 n15_a_takmi_3->n15_a_takmi_4 n15_a_takmi_6 NP-SBJ n15_a_takmi_5->n15_a_takmi_6 n15_a_takmi_9 BED;_cat_Vg_ n15_a_takmi_5->n15_a_takmi_9 n15_a_takmi_11 IP-PPL-CAT n15_a_takmi_5->n15_a_takmi_11 n15_a_takmi_7 PRO n15_a_takmi_6->n15_a_takmi_7 n15_a_takmi_7->n15_a_takmi_8 n15_a_takmi_9->n15_a_takmi_10 n15_a_takmi_12 VAG;_Tn_ n15_a_takmi_11->n15_a_takmi_12 n15_a_takmi_14 NP-OB1 n15_a_takmi_11->n15_a_takmi_14 n15_a_takmi_12->n15_a_takmi_13 n15_a_takmi_15 D n15_a_takmi_14->n15_a_takmi_15 n15_a_takmi_17 ADJP n15_a_takmi_14->n15_a_takmi_17 n15_a_takmi_20 N n15_a_takmi_14->n15_a_takmi_20 n15_a_takmi_15->n15_a_takmi_16 n15_a_takmi_18 ADJ n15_a_takmi_17->n15_a_takmi_18 n15_a_takmi_18->n15_a_takmi_19 n15_a_takmi_20->n15_a_takmi_21 n15_a_takmi_22->n15_a_takmi_23 n15_a_takmi_25 D n15_a_takmi_24->n15_a_takmi_25 n15_a_takmi_27 NS n15_a_takmi_24->n15_a_takmi_27 n15_a_takmi_25->n15_a_takmi_26 n15_a_takmi_27->n15_a_takmi_28 n15_a_takmi_29->n15_a_takmi_30 n15_a_takmi_32 P-ROLE n15_a_takmi_31->n15_a_takmi_32 n15_a_takmi_34 NP n15_a_takmi_31->n15_a_takmi_34 n15_a_takmi_32->n15_a_takmi_33 n15_a_takmi_35 D n15_a_takmi_34->n15_a_takmi_35 n15_a_takmi_37 N n15_a_takmi_34->n15_a_takmi_37 n15_a_takmi_39 PP n15_a_takmi_34->n15_a_takmi_39 n15_a_takmi_35->n15_a_takmi_36 n15_a_takmi_37->n15_a_takmi_38 n15_a_takmi_40 P-ROLE n15_a_takmi_39->n15_a_takmi_40 n15_a_takmi_42 NP n15_a_takmi_39->n15_a_takmi_42 n15_a_takmi_40->n15_a_takmi_41 n15_a_takmi_43 D n15_a_takmi_42->n15_a_takmi_43 n15_a_takmi_45 N n15_a_takmi_42->n15_a_takmi_45 n15_a_takmi_47 N n15_a_takmi_42->n15_a_takmi_47 n15_a_takmi_43->n15_a_takmi_44 n15_a_takmi_45->n15_a_takmi_46 n15_a_takmi_47->n15_a_takmi_48 n15_a_takmi_49->n15_a_takmi_50 
( (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))