Context                Previous, Next                Top


4_a_stories_discourse_1
He shut the rucksack's zipper, put the rucksack on his back, and when he stood up, he staggered a bit.

%3 r_0004_0002__shut shut r_0004_0001__He He r_0004_0002__shut->r_0004_0001__He [arg0] r_0004_0006__zipper zipper r_0004_0002__shut->r_0004_0006__zipper [arg1] r_0004_0003__the_r_0004_0004__rucksack_r_0004_0005___apos_s the rucksack 's r_0004_0006__zipper->r_0004_0003__the_r_0004_0004__rucksack_r_0004_0005___apos_s [gen] r_0004_0008__put put r_0004_0008__put->r_0004_0001__He [arg0] r_0004_0009__the_r_0004_0010__rucksack the rucksack r_0004_0008__put->r_0004_0009__the_r_0004_0010__rucksack [arg1] r_0004_0013__back back r_0004_0008__put->r_0004_0013__back on [clr] r_0004_0013__back->r_0004_0001__He [gen] r_0004_0015__and and r_0004_0016__when when r_0004_0015__and->r_0004_0016__when [conj2] z_000_4_a_stories_discourse_1_7 r_0004_0015__and->z_000_4_a_stories_discourse_1_7 [conj1] r_0004_0018__stood stood r_0004_0016__when->r_0004_0018__stood [restriction] r_0004_0022__staggered staggered r_0004_0016__when->r_0004_0022__staggered [scope] z_000_4_a_stories_discourse_1_7->r_0004_0002__shut [conj1] z_000_4_a_stories_discourse_1_7->r_0004_0008__put [conj2] r_0004_0017__he he r_0004_0018__stood->r_0004_0017__he [arg0] r_0004_0019__up up r_0004_0018__stood->r_0004_0019__up [clr] r_0004_0021__he he r_0004_0022__staggered->r_0004_0021__he [arg0] r_0004_0023__a_bit a bit r_0004_0022__staggered->r_0004_0023__a_bit [nim] 
arc(r_0004_0002__shut, r_0004_0001__He, arg0).
arc(r_0004_0002__shut, r_0004_0006__zipper, arg1).
arc(r_0004_0006__zipper, r_0004_0003__the_r_0004_0004__rucksack_r_0004_0005___apos_s, gen).
arc(r_0004_0008__put, r_0004_0001__He, arg0).
arc(r_0004_0008__put, r_0004_0009__the_r_0004_0010__rucksack, arg1).
arc(r_0004_0008__put, r_0004_0013__back, r_0004_0011__on_clr35).
arc(r_0004_0013__back, r_0004_0001__He, gen).
arc(r_0004_0015__and, r_0004_0016__when, conj2).
arc(r_0004_0015__and, z_000_4_a_stories_discourse_1_7, conj1).
arc(r_0004_0016__when, r_0004_0018__stood, restriction).
arc(r_0004_0016__when, r_0004_0022__staggered, scope).
arc(r_0004_0018__stood, r_0004_0017__he, arg0).
arc(r_0004_0018__stood, r_0004_0019__up, clr56).
arc(r_0004_0022__staggered, r_0004_0021__he, arg0).
arc(r_0004_0022__staggered, r_0004_0023__a_bit, nim66).
arc(z_000_4_a_stories_discourse_1_7, r_0004_0002__shut, conj1).
arc(z_000_4_a_stories_discourse_1_7, r_0004_0008__put, conj2).


%3 r_0004_0002__shut shut r_0004_0001__He He r_0004_0002__shut->r_0004_0001__He [arg0] r_0004_0006__zipper zipper r_0004_0002__shut->r_0004_0006__zipper [arg1] r_0004_0003__the_r_0004_0004__rucksack_r_0004_0005___apos_s the rucksack 's r_0004_0006__zipper->r_0004_0003__the_r_0004_0004__rucksack_r_0004_0005___apos_s [gen] r_0004_0008__put put r_0004_0008__put->r_0004_0001__He [arg0] r_0004_0009__the_r_0004_0010__rucksack the rucksack r_0004_0008__put->r_0004_0009__the_r_0004_0010__rucksack [arg1] r_0004_0013__back back r_0004_0008__put->r_0004_0013__back on [clr] r_0004_0013__back->r_0004_0001__He [gen] r_0004_0015__and and r_0004_0016__when when r_0004_0015__and->r_0004_0016__when [conj2] z_000_4_a_stories_discourse_1_7 r_0004_0015__and->z_000_4_a_stories_discourse_1_7 [conj1] r_0004_0018__stood stood r_0004_0016__when->r_0004_0018__stood [restriction] r_0004_0022__staggered staggered r_0004_0016__when->r_0004_0022__staggered [scope] z_000_4_a_stories_discourse_1_7->r_0004_0002__shut [conj1] z_000_4_a_stories_discourse_1_7->r_0004_0008__put [conj2] r_0004_0017__he he r_0004_0018__stood->r_0004_0017__he [arg0] r_0004_0019__up up r_0004_0018__stood->r_0004_0019__up [clr] r_0004_0021__he he r_0004_0022__staggered->r_0004_0021__he [arg0] r_0004_0023__a_bit a bit r_0004_0022__staggered->r_0004_0023__a_bit [nim] 
fof(formula,axiom,
    ? [R_4_15_AND,Z_4_A_STORIES_DISCOURSE_1_7,R_4_2_SHUT,R_4_6_ZIPPER,R_4_3_THE_RUCKSACK_APOS_S,R_4_8_PUT,R_4_9_THE_RUCKSACK,R_4_13_BACK,R_4_1_HE] :
      ( the_rucksack_apos_s(R_4_3_THE_RUCKSACK_APOS_S)
      & the_rucksack(R_4_9_THE_RUCKSACK)
      & he(R_4_1_HE)
      & ! [R_4_18_STOOD,R_4_17_HE,R_4_19_UP] :
          ( ( he(R_4_17_HE)
            & up(R_4_19_UP)
            & stood(R_4_18_STOOD,R_4_17_HE)
            & clr56(R_4_18_STOOD,R_4_19_UP) )
         => ? [R_4_22_STAGGERED,R_4_21_HE,R_4_23_A_BIT] :
              ( he(R_4_21_HE)
              & a_bit(R_4_23_A_BIT)
              & staggered(R_4_22_STAGGERED,R_4_21_HE)
              & nim66(R_4_22_STAGGERED,R_4_23_A_BIT) ) )
      & conj2(CONJ2)
      & and(R_4_15_AND)
      & conj1(R_4_15_AND,Z_4_A_STORIES_DISCOURSE_1_7)
      & z_4_a_stories_discourse_1_7(Z_4_A_STORIES_DISCOURSE_1_7)
      & conj1(Z_4_A_STORIES_DISCOURSE_1_7,R_4_2_SHUT)
      & shut(R_4_2_SHUT,R_4_1_HE,R_4_6_ZIPPER)
      & zipper(R_4_6_ZIPPER)
      & gen(R_4_6_ZIPPER,R_4_3_THE_RUCKSACK_APOS_S)
      & conj2(Z_4_A_STORIES_DISCOURSE_1_7,R_4_8_PUT)
      & put(R_4_8_PUT,R_4_1_HE,R_4_9_THE_RUCKSACK)
      & on_clr35(R_4_8_PUT,R_4_13_BACK)
      & back(R_4_13_BACK)
      & gen(R_4_13_BACK,R_4_1_HE) ) ).


n4_a_stories_discourse_1 n4_a_stories_discourse_1_6 He n4_a_stories_discourse_1_10 shut n4_a_stories_discourse_1_14 the n4_a_stories_discourse_1_16 rucksack n4_a_stories_discourse_1_18 's n4_a_stories_discourse_1_20 zipper n4_a_stories_discourse_1_22 , n4_a_stories_discourse_1_26 put n4_a_stories_discourse_1_29 the n4_a_stories_discourse_1_31 rucksack n4_a_stories_discourse_1_34 on n4_a_stories_discourse_1_38 his n4_a_stories_discourse_1_40 back n4_a_stories_discourse_1_42 , n4_a_stories_discourse_1_45 and n4_a_stories_discourse_1_49 when n4_a_stories_discourse_1_53 he n4_a_stories_discourse_1_55 stood n4_a_stories_discourse_1_58 up n4_a_stories_discourse_1_60 , n4_a_stories_discourse_1_63 he n4_a_stories_discourse_1_65 staggered n4_a_stories_discourse_1_68 a_bit n4_a_stories_discourse_1_70 . n4_a_stories_discourse_1_1 IP-MAT n4_a_stories_discourse_1_2 ILYR n4_a_stories_discourse_1_1->n4_a_stories_discourse_1_2 n4_a_stories_discourse_1_69 PUNC n4_a_stories_discourse_1_1->n4_a_stories_discourse_1_69 n4_a_stories_discourse_1_3 ILYR n4_a_stories_discourse_1_2->n4_a_stories_discourse_1_3 n4_a_stories_discourse_1_41 PUNC n4_a_stories_discourse_1_2->n4_a_stories_discourse_1_41 n4_a_stories_discourse_1_43 CONJP n4_a_stories_discourse_1_2->n4_a_stories_discourse_1_43 n4_a_stories_discourse_1_4 NP-SBJ n4_a_stories_discourse_1_3->n4_a_stories_discourse_1_4 n4_a_stories_discourse_1_7 ILYR n4_a_stories_discourse_1_3->n4_a_stories_discourse_1_7 n4_a_stories_discourse_1_5 PRO n4_a_stories_discourse_1_4->n4_a_stories_discourse_1_5 n4_a_stories_discourse_1_5->n4_a_stories_discourse_1_6 n4_a_stories_discourse_1_8 ILYR n4_a_stories_discourse_1_7->n4_a_stories_discourse_1_8 n4_a_stories_discourse_1_21 PUNC n4_a_stories_discourse_1_7->n4_a_stories_discourse_1_21 n4_a_stories_discourse_1_23 CONJP n4_a_stories_discourse_1_7->n4_a_stories_discourse_1_23 n4_a_stories_discourse_1_9 VBD;_Tn_ n4_a_stories_discourse_1_8->n4_a_stories_discourse_1_9 n4_a_stories_discourse_1_11 NP-OB1 n4_a_stories_discourse_1_8->n4_a_stories_discourse_1_11 n4_a_stories_discourse_1_9->n4_a_stories_discourse_1_10 n4_a_stories_discourse_1_12 NP-GEN n4_a_stories_discourse_1_11->n4_a_stories_discourse_1_12 n4_a_stories_discourse_1_19 N n4_a_stories_discourse_1_11->n4_a_stories_discourse_1_19 n4_a_stories_discourse_1_13 D n4_a_stories_discourse_1_12->n4_a_stories_discourse_1_13 n4_a_stories_discourse_1_15 N n4_a_stories_discourse_1_12->n4_a_stories_discourse_1_15 n4_a_stories_discourse_1_17 GENM n4_a_stories_discourse_1_12->n4_a_stories_discourse_1_17 n4_a_stories_discourse_1_13->n4_a_stories_discourse_1_14 n4_a_stories_discourse_1_15->n4_a_stories_discourse_1_16 n4_a_stories_discourse_1_17->n4_a_stories_discourse_1_18 n4_a_stories_discourse_1_19->n4_a_stories_discourse_1_20 n4_a_stories_discourse_1_21->n4_a_stories_discourse_1_22 n4_a_stories_discourse_1_24 ILYR n4_a_stories_discourse_1_23->n4_a_stories_discourse_1_24 n4_a_stories_discourse_1_25 VBD;_Tn.pr_ n4_a_stories_discourse_1_24->n4_a_stories_discourse_1_25 n4_a_stories_discourse_1_27 NP-OB1 n4_a_stories_discourse_1_24->n4_a_stories_discourse_1_27 n4_a_stories_discourse_1_32 PP-CLR n4_a_stories_discourse_1_24->n4_a_stories_discourse_1_32 n4_a_stories_discourse_1_25->n4_a_stories_discourse_1_26 n4_a_stories_discourse_1_28 D n4_a_stories_discourse_1_27->n4_a_stories_discourse_1_28 n4_a_stories_discourse_1_30 N n4_a_stories_discourse_1_27->n4_a_stories_discourse_1_30 n4_a_stories_discourse_1_28->n4_a_stories_discourse_1_29 n4_a_stories_discourse_1_30->n4_a_stories_discourse_1_31 n4_a_stories_discourse_1_33 P-ROLE n4_a_stories_discourse_1_32->n4_a_stories_discourse_1_33 n4_a_stories_discourse_1_35 NP n4_a_stories_discourse_1_32->n4_a_stories_discourse_1_35 n4_a_stories_discourse_1_33->n4_a_stories_discourse_1_34 n4_a_stories_discourse_1_36 NP-GEN n4_a_stories_discourse_1_35->n4_a_stories_discourse_1_36 n4_a_stories_discourse_1_39 N n4_a_stories_discourse_1_35->n4_a_stories_discourse_1_39 n4_a_stories_discourse_1_37 PRO;_genm_ n4_a_stories_discourse_1_36->n4_a_stories_discourse_1_37 n4_a_stories_discourse_1_37->n4_a_stories_discourse_1_38 n4_a_stories_discourse_1_39->n4_a_stories_discourse_1_40 n4_a_stories_discourse_1_41->n4_a_stories_discourse_1_42 n4_a_stories_discourse_1_44 CONJ n4_a_stories_discourse_1_43->n4_a_stories_discourse_1_44 n4_a_stories_discourse_1_46 ILYR n4_a_stories_discourse_1_43->n4_a_stories_discourse_1_46 n4_a_stories_discourse_1_44->n4_a_stories_discourse_1_45 n4_a_stories_discourse_1_47 PP-SCON n4_a_stories_discourse_1_46->n4_a_stories_discourse_1_47 n4_a_stories_discourse_1_59 PUNC n4_a_stories_discourse_1_46->n4_a_stories_discourse_1_59 n4_a_stories_discourse_1_61 NP-SBJ n4_a_stories_discourse_1_46->n4_a_stories_discourse_1_61 n4_a_stories_discourse_1_64 VBD;_I_ n4_a_stories_discourse_1_46->n4_a_stories_discourse_1_64 n4_a_stories_discourse_1_66 NP-NIM n4_a_stories_discourse_1_46->n4_a_stories_discourse_1_66 n4_a_stories_discourse_1_48 P-CONN n4_a_stories_discourse_1_47->n4_a_stories_discourse_1_48 n4_a_stories_discourse_1_50 IP-ADV n4_a_stories_discourse_1_47->n4_a_stories_discourse_1_50 n4_a_stories_discourse_1_48->n4_a_stories_discourse_1_49 n4_a_stories_discourse_1_51 NP-SBJ n4_a_stories_discourse_1_50->n4_a_stories_discourse_1_51 n4_a_stories_discourse_1_54 VBD;_Ip_ n4_a_stories_discourse_1_50->n4_a_stories_discourse_1_54 n4_a_stories_discourse_1_56 ADVP-CLR n4_a_stories_discourse_1_50->n4_a_stories_discourse_1_56 n4_a_stories_discourse_1_52 PRO n4_a_stories_discourse_1_51->n4_a_stories_discourse_1_52 n4_a_stories_discourse_1_52->n4_a_stories_discourse_1_53 n4_a_stories_discourse_1_54->n4_a_stories_discourse_1_55 n4_a_stories_discourse_1_57 RP n4_a_stories_discourse_1_56->n4_a_stories_discourse_1_57 n4_a_stories_discourse_1_57->n4_a_stories_discourse_1_58 n4_a_stories_discourse_1_59->n4_a_stories_discourse_1_60 n4_a_stories_discourse_1_62 PRO n4_a_stories_discourse_1_61->n4_a_stories_discourse_1_62 n4_a_stories_discourse_1_62->n4_a_stories_discourse_1_63 n4_a_stories_discourse_1_64->n4_a_stories_discourse_1_65 n4_a_stories_discourse_1_67 D;_nphd_ n4_a_stories_discourse_1_66->n4_a_stories_discourse_1_67 n4_a_stories_discourse_1_67->n4_a_stories_discourse_1_68 n4_a_stories_discourse_1_69->n4_a_stories_discourse_1_70 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{TEACHER} (PRO He;{he}))
                      (ILYR (ILYR (VBD;_Tn_ shut;{shut})
                                  (NP-OB1 (NP-GEN;{BAG} (D the;{the})
                                                        (N rucksack;{rucksack})
                                                        (GENM <apos>s))
                                          (N zipper;{zipper})))
                            (PUNC ,)
                            (CONJP (ILYR (VBD;_Tn.pr_ put;{put[on]})
                                         (NP-OB1;{BAG} (D the;{the})
                                                       (N rucksack;{rucksack}))
                                         (PP-CLR (P-ROLE on;{on})
                                                 (NP (NP-GEN;{TEACHER} (PRO;_genm_ his;{his}))
                                                     (N back;{back})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN when;{when})
                                      (IP-ADV (NP-SBJ;{TEACHER} (PRO he;{he}))
                                              (VBD;_Ip_ stood;{stand[up]})
                                              (ADVP-CLR (RP up;{up}))))
                             (PUNC ,)
                             (NP-SBJ;{TEACHER} (PRO he;{he}))
                             (VBD;_I_ staggered;{stagger})
                             (NP-NIM (D;_nphd_ a_bit;{a_bit})))))
          (PUNC .))
  (ID 4_a_stories_discourse_1))