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.
( (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))
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,gen).
arc(r_0004_0008__put_r_0004_0011__on,r_0004_0001__He,arg0).
arc(r_0004_0008__put_r_0004_0011__on,r_0004_0003__the_r_0004_0004__rucksack,arg1).
arc(r_0004_0008__put_r_0004_0011__on,r_0004_0013__back,arg2).
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_0004_5001,conj1).
arc(r_0004_0016__when,r_0004_0018__stood_r_0004_0019__up,restriction).
arc(r_0004_0016__when,r_0004_0022__staggered,scope).
arc(r_0004_0018__stood_r_0004_0019__up,r_0004_0001__He,arg0).
arc(r_0004_0022__staggered,r_0004_0001__He,arg0).
arc(r_0004_0022__staggered,r_0004_0023__a_bit,nim).
arc(z_0004_5001,r_0004_0002__shut,conj1).
arc(z_0004_5001,r_0004_0008__put_r_0004_0011__on,conj2).
fof(formula,axiom,
? [R_0004_0001__HE,R_0004_0003__THE_R_0004_0004__RUCKSACK,R_0004_0006__ZIPPER,R_0004_0002__SHUT,R_0004_0013__BACK,R_0004_0008__PUT_R_0004_0011__ON,Z_0004_5001,R_0004_0015__AND] :
( r_0004_0001__He(R_0004_0001__HE)
& r_0004_0003__the_r_0004_0004__rucksack(R_0004_0003__THE_R_0004_0004__RUCKSACK)
& r_0004_0015__and(R_0004_0015__AND)
& has_conj1(R_0004_0015__AND,Z_0004_5001)
& z_0004_5001(Z_0004_5001)
& has_conj2(Z_0004_5001,R_0004_0008__PUT_R_0004_0011__ON)
& r_0004_0008__put_r_0004_0011__on(R_0004_0008__PUT_R_0004_0011__ON)
& has_arg2(R_0004_0008__PUT_R_0004_0011__ON,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_0011__ON,R_0004_0003__THE_R_0004_0004__RUCKSACK)
& has_arg0(R_0004_0008__PUT_R_0004_0011__ON,R_0004_0001__HE)
& has_conj1(Z_0004_5001,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)
& has_arg0(R_0004_0002__SHUT,R_0004_0001__HE)
& ! [R_0004_0018__STOOD_R_0004_0019__UP] :
( ( r_0004_0018__stood_r_0004_0019__up(R_0004_0018__STOOD_R_0004_0019__UP)
& has_arg0(R_0004_0018__STOOD_R_0004_0019__UP,R_0004_0001__HE) )
=> ? [R_0004_0023__A_BIT,R_0004_0022__STAGGERED] :
( r_0004_0023__a_bit(R_0004_0023__A_BIT)
& r_0004_0022__staggered(R_0004_0022__STAGGERED)
& has_nim(R_0004_0022__STAGGERED,R_0004_0023__A_BIT)
& has_arg0(R_0004_0022__STAGGERED,R_0004_0001__HE) ) ) ) ).