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 z_000_4_a_stories_discourse_1_7 r_0004_0008__put put z_000_4_a_stories_discourse_1_7->r_0004_0008__put [conj2] r_0004_0002__shut shut z_000_4_a_stories_discourse_1_7->r_0004_0002__shut [conj1] r_0004_0013__back back r_0004_0008__put->r_0004_0013__back on [clr] r_0004_0001__He He 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_0002__shut->r_0004_0001__He [arg0] r_0004_0006__zipper zipper r_0004_0002__shut->r_0004_0006__zipper [arg1] r_0004_0022__staggered staggered r_0004_0023__a_bit a bit r_0004_0022__staggered->r_0004_0023__a_bit [nim] r_0004_0021__he he r_0004_0022__staggered->r_0004_0021__he [arg0] r_0004_0018__stood stood r_0004_0019__up up r_0004_0018__stood->r_0004_0019__up [clr] r_0004_0017__he he r_0004_0018__stood->r_0004_0017__he [arg0] r_0004_0016__when when r_0004_0016__when->r_0004_0022__staggered [scope] r_0004_0016__when->r_0004_0018__stood [restriction] r_0004_0015__and and r_0004_0015__and->z_000_4_a_stories_discourse_1_7 [conj1] r_0004_0015__and->r_0004_0016__when [conj2] r_0004_0013__back->r_0004_0001__He [gen] 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] 
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__1_1_1_1_1_1 He n4_a_stories_discourse_1__1_1_1_2_1_1_1 shut n4_a_stories_discourse_1__1_1_1_2_1_2_1_1_1 the n4_a_stories_discourse_1__1_1_1_2_1_2_1_2_1 rucksack n4_a_stories_discourse_1__1_1_1_2_1_2_1_3_1 's n4_a_stories_discourse_1__1_1_1_2_1_2_2_1 zipper n4_a_stories_discourse_1__1_1_1_2_2_1 , n4_a_stories_discourse_1__1_1_1_2_3_1_1_1 put n4_a_stories_discourse_1__1_1_1_2_3_1_2_1_1 the n4_a_stories_discourse_1__1_1_1_2_3_1_2_2_1 rucksack n4_a_stories_discourse_1__1_1_1_2_3_1_3_1_1 on n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_1_1_1 his n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_2_1 back n4_a_stories_discourse_1__1_1_2_1 , n4_a_stories_discourse_1__1_1_3_1_1 and n4_a_stories_discourse_1__1_1_3_2_1_1_1 when n4_a_stories_discourse_1__1_1_3_2_1_2_1_1_1 he n4_a_stories_discourse_1__1_1_3_2_1_2_2_1 stood n4_a_stories_discourse_1__1_1_3_2_1_2_3_1_1 up n4_a_stories_discourse_1__1_1_3_2_2_1 , n4_a_stories_discourse_1__1_1_3_2_3_1_1 he n4_a_stories_discourse_1__1_1_3_2_4_1 staggered n4_a_stories_discourse_1__1_1_3_2_5_1_1 a_bit n4_a_stories_discourse_1__1_2_1 . n4_a_stories_discourse_1__1 IP-MAT n4_a_stories_discourse_1__1_1 ILYR n4_a_stories_discourse_1__1->n4_a_stories_discourse_1__1_1 n4_a_stories_discourse_1__1_2 PUNC n4_a_stories_discourse_1__1->n4_a_stories_discourse_1__1_2 n4_a_stories_discourse_1__1_1_1 ILYR n4_a_stories_discourse_1__1_1->n4_a_stories_discourse_1__1_1_1 n4_a_stories_discourse_1__1_1_2 PUNC n4_a_stories_discourse_1__1_1->n4_a_stories_discourse_1__1_1_2 n4_a_stories_discourse_1__1_1_3 CONJP n4_a_stories_discourse_1__1_1->n4_a_stories_discourse_1__1_1_3 n4_a_stories_discourse_1__1_1_1_1 NP-SBJ n4_a_stories_discourse_1__1_1_1->n4_a_stories_discourse_1__1_1_1_1 n4_a_stories_discourse_1__1_1_1_2 ILYR n4_a_stories_discourse_1__1_1_1->n4_a_stories_discourse_1__1_1_1_2 n4_a_stories_discourse_1__1_1_1_1_1 PRO n4_a_stories_discourse_1__1_1_1_1->n4_a_stories_discourse_1__1_1_1_1_1 n4_a_stories_discourse_1__1_1_1_1_1->n4_a_stories_discourse_1__1_1_1_1_1_1 n4_a_stories_discourse_1__1_1_1_2_1 ILYR n4_a_stories_discourse_1__1_1_1_2->n4_a_stories_discourse_1__1_1_1_2_1 n4_a_stories_discourse_1__1_1_1_2_2 PUNC n4_a_stories_discourse_1__1_1_1_2->n4_a_stories_discourse_1__1_1_1_2_2 n4_a_stories_discourse_1__1_1_1_2_3 CONJP n4_a_stories_discourse_1__1_1_1_2->n4_a_stories_discourse_1__1_1_1_2_3 n4_a_stories_discourse_1__1_1_1_2_1_1 VBD;_Tn_ n4_a_stories_discourse_1__1_1_1_2_1->n4_a_stories_discourse_1__1_1_1_2_1_1 n4_a_stories_discourse_1__1_1_1_2_1_2 NP-OB1 n4_a_stories_discourse_1__1_1_1_2_1->n4_a_stories_discourse_1__1_1_1_2_1_2 n4_a_stories_discourse_1__1_1_1_2_1_1->n4_a_stories_discourse_1__1_1_1_2_1_1_1 n4_a_stories_discourse_1__1_1_1_2_1_2_1 NP-GEN n4_a_stories_discourse_1__1_1_1_2_1_2->n4_a_stories_discourse_1__1_1_1_2_1_2_1 n4_a_stories_discourse_1__1_1_1_2_1_2_2 N n4_a_stories_discourse_1__1_1_1_2_1_2->n4_a_stories_discourse_1__1_1_1_2_1_2_2 n4_a_stories_discourse_1__1_1_1_2_1_2_1_1 D n4_a_stories_discourse_1__1_1_1_2_1_2_1->n4_a_stories_discourse_1__1_1_1_2_1_2_1_1 n4_a_stories_discourse_1__1_1_1_2_1_2_1_2 N n4_a_stories_discourse_1__1_1_1_2_1_2_1->n4_a_stories_discourse_1__1_1_1_2_1_2_1_2 n4_a_stories_discourse_1__1_1_1_2_1_2_1_3 GENM n4_a_stories_discourse_1__1_1_1_2_1_2_1->n4_a_stories_discourse_1__1_1_1_2_1_2_1_3 n4_a_stories_discourse_1__1_1_1_2_1_2_1_1->n4_a_stories_discourse_1__1_1_1_2_1_2_1_1_1 n4_a_stories_discourse_1__1_1_1_2_1_2_1_2->n4_a_stories_discourse_1__1_1_1_2_1_2_1_2_1 n4_a_stories_discourse_1__1_1_1_2_1_2_1_3->n4_a_stories_discourse_1__1_1_1_2_1_2_1_3_1 n4_a_stories_discourse_1__1_1_1_2_1_2_2->n4_a_stories_discourse_1__1_1_1_2_1_2_2_1 n4_a_stories_discourse_1__1_1_1_2_2->n4_a_stories_discourse_1__1_1_1_2_2_1 n4_a_stories_discourse_1__1_1_1_2_3_1 ILYR n4_a_stories_discourse_1__1_1_1_2_3->n4_a_stories_discourse_1__1_1_1_2_3_1 n4_a_stories_discourse_1__1_1_1_2_3_1_1 VBD;_Tn.pr_ n4_a_stories_discourse_1__1_1_1_2_3_1->n4_a_stories_discourse_1__1_1_1_2_3_1_1 n4_a_stories_discourse_1__1_1_1_2_3_1_2 NP-OB1 n4_a_stories_discourse_1__1_1_1_2_3_1->n4_a_stories_discourse_1__1_1_1_2_3_1_2 n4_a_stories_discourse_1__1_1_1_2_3_1_3 PP-CLR n4_a_stories_discourse_1__1_1_1_2_3_1->n4_a_stories_discourse_1__1_1_1_2_3_1_3 n4_a_stories_discourse_1__1_1_1_2_3_1_1->n4_a_stories_discourse_1__1_1_1_2_3_1_1_1 n4_a_stories_discourse_1__1_1_1_2_3_1_2_1 D n4_a_stories_discourse_1__1_1_1_2_3_1_2->n4_a_stories_discourse_1__1_1_1_2_3_1_2_1 n4_a_stories_discourse_1__1_1_1_2_3_1_2_2 N n4_a_stories_discourse_1__1_1_1_2_3_1_2->n4_a_stories_discourse_1__1_1_1_2_3_1_2_2 n4_a_stories_discourse_1__1_1_1_2_3_1_2_1->n4_a_stories_discourse_1__1_1_1_2_3_1_2_1_1 n4_a_stories_discourse_1__1_1_1_2_3_1_2_2->n4_a_stories_discourse_1__1_1_1_2_3_1_2_2_1 n4_a_stories_discourse_1__1_1_1_2_3_1_3_1 P-ROLE n4_a_stories_discourse_1__1_1_1_2_3_1_3->n4_a_stories_discourse_1__1_1_1_2_3_1_3_1 n4_a_stories_discourse_1__1_1_1_2_3_1_3_2 NP n4_a_stories_discourse_1__1_1_1_2_3_1_3->n4_a_stories_discourse_1__1_1_1_2_3_1_3_2 n4_a_stories_discourse_1__1_1_1_2_3_1_3_1->n4_a_stories_discourse_1__1_1_1_2_3_1_3_1_1 n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_1 NP-GEN n4_a_stories_discourse_1__1_1_1_2_3_1_3_2->n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_1 n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_2 N n4_a_stories_discourse_1__1_1_1_2_3_1_3_2->n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_2 n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_1_1 PRO;_genm_ n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_1->n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_1_1 n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_1_1->n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_1_1_1 n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_2->n4_a_stories_discourse_1__1_1_1_2_3_1_3_2_2_1 n4_a_stories_discourse_1__1_1_2->n4_a_stories_discourse_1__1_1_2_1 n4_a_stories_discourse_1__1_1_3_1 CONJ n4_a_stories_discourse_1__1_1_3->n4_a_stories_discourse_1__1_1_3_1 n4_a_stories_discourse_1__1_1_3_2 ILYR n4_a_stories_discourse_1__1_1_3->n4_a_stories_discourse_1__1_1_3_2 n4_a_stories_discourse_1__1_1_3_1->n4_a_stories_discourse_1__1_1_3_1_1 n4_a_stories_discourse_1__1_1_3_2_1 PP-SCON n4_a_stories_discourse_1__1_1_3_2->n4_a_stories_discourse_1__1_1_3_2_1 n4_a_stories_discourse_1__1_1_3_2_2 PUNC n4_a_stories_discourse_1__1_1_3_2->n4_a_stories_discourse_1__1_1_3_2_2 n4_a_stories_discourse_1__1_1_3_2_3 NP-SBJ n4_a_stories_discourse_1__1_1_3_2->n4_a_stories_discourse_1__1_1_3_2_3 n4_a_stories_discourse_1__1_1_3_2_4 VBD;_I_ n4_a_stories_discourse_1__1_1_3_2->n4_a_stories_discourse_1__1_1_3_2_4 n4_a_stories_discourse_1__1_1_3_2_5 NP-NIM n4_a_stories_discourse_1__1_1_3_2->n4_a_stories_discourse_1__1_1_3_2_5 n4_a_stories_discourse_1__1_1_3_2_1_1 P-CONN n4_a_stories_discourse_1__1_1_3_2_1->n4_a_stories_discourse_1__1_1_3_2_1_1 n4_a_stories_discourse_1__1_1_3_2_1_2 IP-ADV n4_a_stories_discourse_1__1_1_3_2_1->n4_a_stories_discourse_1__1_1_3_2_1_2 n4_a_stories_discourse_1__1_1_3_2_1_1->n4_a_stories_discourse_1__1_1_3_2_1_1_1 n4_a_stories_discourse_1__1_1_3_2_1_2_1 NP-SBJ n4_a_stories_discourse_1__1_1_3_2_1_2->n4_a_stories_discourse_1__1_1_3_2_1_2_1 n4_a_stories_discourse_1__1_1_3_2_1_2_2 VBD;_Ip_ n4_a_stories_discourse_1__1_1_3_2_1_2->n4_a_stories_discourse_1__1_1_3_2_1_2_2 n4_a_stories_discourse_1__1_1_3_2_1_2_3 ADVP-CLR n4_a_stories_discourse_1__1_1_3_2_1_2->n4_a_stories_discourse_1__1_1_3_2_1_2_3 n4_a_stories_discourse_1__1_1_3_2_1_2_1_1 PRO n4_a_stories_discourse_1__1_1_3_2_1_2_1->n4_a_stories_discourse_1__1_1_3_2_1_2_1_1 n4_a_stories_discourse_1__1_1_3_2_1_2_1_1->n4_a_stories_discourse_1__1_1_3_2_1_2_1_1_1 n4_a_stories_discourse_1__1_1_3_2_1_2_2->n4_a_stories_discourse_1__1_1_3_2_1_2_2_1 n4_a_stories_discourse_1__1_1_3_2_1_2_3_1 RP n4_a_stories_discourse_1__1_1_3_2_1_2_3->n4_a_stories_discourse_1__1_1_3_2_1_2_3_1 n4_a_stories_discourse_1__1_1_3_2_1_2_3_1->n4_a_stories_discourse_1__1_1_3_2_1_2_3_1_1 n4_a_stories_discourse_1__1_1_3_2_2->n4_a_stories_discourse_1__1_1_3_2_2_1 n4_a_stories_discourse_1__1_1_3_2_3_1 PRO n4_a_stories_discourse_1__1_1_3_2_3->n4_a_stories_discourse_1__1_1_3_2_3_1 n4_a_stories_discourse_1__1_1_3_2_3_1->n4_a_stories_discourse_1__1_1_3_2_3_1_1 n4_a_stories_discourse_1__1_1_3_2_4->n4_a_stories_discourse_1__1_1_3_2_4_1 n4_a_stories_discourse_1__1_1_3_2_5_1 D;_nphd_ n4_a_stories_discourse_1__1_1_3_2_5->n4_a_stories_discourse_1__1_1_3_2_5_1 n4_a_stories_discourse_1__1_1_3_2_5_1->n4_a_stories_discourse_1__1_1_3_2_5_1_1 n4_a_stories_discourse_1__1_2->n4_a_stories_discourse_1__1_2_1 
( (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))