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_0004_0001__HE,R_0004_0003__THE_R_0004_0004__RUCKSACK_R_0004_0005___APOS_S,R_0004_0006__ZIPPER,R_0004_0002__SHUT,R_0004_0009__THE_R_0004_0010__RUCKSACK,R_0004_0013__BACK,R_0004_0008__PUT,Z_000_4_A_STORIES_DISCOURSE_1_7,R_0004_0015__AND] :
      ( r_0004_0001__He(R_0004_0001__HE)
      & r_0004_0003__the_r_0004_0004__rucksack_r_0004_0005___apos_s(R_0004_0003__THE_R_0004_0004__RUCKSACK_R_0004_0005___APOS_S)
      & r_0004_0009__the_r_0004_0010__rucksack(R_0004_0009__THE_R_0004_0010__RUCKSACK)
      & r_0004_0015__and(R_0004_0015__AND)
      & has_conj1(R_0004_0015__AND,Z_000_4_A_STORIES_DISCOURSE_1_7)
      & z_000_4_a_stories_discourse_1_7(Z_000_4_A_STORIES_DISCOURSE_1_7)
      & has_conj2(Z_000_4_A_STORIES_DISCOURSE_1_7,R_0004_0008__PUT)
      & r_0004_0008__put(R_0004_0008__PUT)
      & has_r_0004_0011__on_clr35(R_0004_0008__PUT,R_0004_0013__BACK)
      & r_0004_0013__back(R_0004_0013__BACK)
      & has_gen(R_0004_0013__BACK,R_0004_0001__HE)
      & has_arg1(R_0004_0008__PUT,R_0004_0009__THE_R_0004_0010__RUCKSACK)
      & has_arg0(R_0004_0008__PUT,R_0004_0001__HE)
      & has_conj1(Z_000_4_A_STORIES_DISCOURSE_1_7,R_0004_0002__SHUT)
      & r_0004_0002__shut(R_0004_0002__SHUT)
      & has_arg1(R_0004_0002__SHUT,R_0004_0006__ZIPPER)
      & r_0004_0006__zipper(R_0004_0006__ZIPPER)
      & has_gen(R_0004_0006__ZIPPER,R_0004_0003__THE_R_0004_0004__RUCKSACK_R_0004_0005___APOS_S)
      & has_arg0(R_0004_0002__SHUT,R_0004_0001__HE)
      & ! [R_0004_0018__STOOD,R_0004_0017__HE,R_0004_0019__UP] :
          ( ( r_0004_0017__he(R_0004_0017__HE)
            & r_0004_0019__up(R_0004_0019__UP)
            & r_0004_0018__stood(R_0004_0018__STOOD)
            & has_clr56(R_0004_0018__STOOD,R_0004_0019__UP)
            & has_arg0(R_0004_0018__STOOD,R_0004_0017__HE) )
         => ? [R_0004_0021__HE,R_0004_0023__A_BIT,R_0004_0022__STAGGERED] :
              ( r_0004_0021__he(R_0004_0021__HE)
              & r_0004_0023__a_bit(R_0004_0023__A_BIT)
              & r_0004_0022__staggered(R_0004_0022__STAGGERED)
              & has_nim66(R_0004_0022__STAGGERED,R_0004_0023__A_BIT)
              & has_arg0(R_0004_0022__STAGGERED,R_0004_0021__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))