3_a_stories_discourse_1
That big bag was full of them, but he somehow crammed it into his rucksack.
( (IP-MAT (ILYR (ILYR (NP-SBJ;{BAG} (D That;{that})
(ADJP (ADJ big;{big}))
(N bag;{bag}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ full;{full})
(PP (P-ROLE of;{of})
(NP;{JUNK} (PRO them;{them})))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ;{TEACHER} (PRO he;{he}))
(ADVP-NIM (ADV somehow;{somehow}))
(VBD;_Tn.pr_ crammed;{cram[into]})
(NP-OB1;{BAG} (PRO it;{it}))
(PP-CLR (P-ROLE into;{into})
(NP (NP-GEN;{TEACHER} (PRO;_genm_ his;{his}))
(N rucksack;{rucksack}))))))
(PUNC .))
(ID 3_a_stories_discourse_1))
arc(r_0003_0001__That_r_0003_0003__bag,r_0003_0002__big,attrib).
arc(r_0003_0004__was,r_0003_0001__That_r_0003_0003__bag,arg0).
arc(r_0003_0004__was,r_0003_0005__full,prd).
arc(r_0003_0005__full,r_0003_0007__them,r_0003_0006__of).
arc(r_0003_0009__but,r_0003_0004__was,conj1).
arc(r_0003_0009__but,r_0003_0012__crammed_r_0003_0014__into,conj2).
arc(r_0003_0012__crammed_r_0003_0014__into,r_0003_0001__That_r_0003_0003__bag,arg1).
arc(r_0003_0012__crammed_r_0003_0014__into,r_0003_0010__he,arg0).
arc(r_0003_0012__crammed_r_0003_0014__into,r_0003_0011__somehow,nim).
arc(r_0003_0012__crammed_r_0003_0014__into,r_0003_0016__rucksack,arg2).
arc(r_0003_0016__rucksack,r_0003_0010__he,gen).
fof(formula,axiom,
? [R_0003_0002__BIG,R_0003_0001__THAT_R_0003_0003__BAG,R_0003_0007__THEM,R_0003_0005__FULL,R_0003_0004__WAS,R_0003_0010__HE,R_0003_0011__SOMEHOW,R_0003_0016__RUCKSACK,R_0003_0012__CRAMMED_R_0003_0014__INTO,R_0003_0009__BUT] :
( r_0003_0002__big(R_0003_0002__BIG)
& r_0003_0007__them(R_0003_0007__THEM)
& r_0003_0010__he(R_0003_0010__HE)
& r_0003_0011__somehow(R_0003_0011__SOMEHOW)
& r_0003_0009__but(R_0003_0009__BUT)
& has_conj2(R_0003_0009__BUT,R_0003_0012__CRAMMED_R_0003_0014__INTO)
& r_0003_0012__crammed_r_0003_0014__into(R_0003_0012__CRAMMED_R_0003_0014__INTO)
& has_arg2(R_0003_0012__CRAMMED_R_0003_0014__INTO,R_0003_0016__RUCKSACK)
& r_0003_0016__rucksack(R_0003_0016__RUCKSACK)
& has_gen(R_0003_0016__RUCKSACK,R_0003_0010__HE)
& has_nim(R_0003_0012__CRAMMED_R_0003_0014__INTO,R_0003_0011__SOMEHOW)
& has_arg0(R_0003_0012__CRAMMED_R_0003_0014__INTO,R_0003_0010__HE)
& has_arg1(R_0003_0012__CRAMMED_R_0003_0014__INTO,R_0003_0001__THAT_R_0003_0003__BAG)
& r_0003_0001__That_r_0003_0003__bag(R_0003_0001__THAT_R_0003_0003__BAG)
& has_attrib(R_0003_0001__THAT_R_0003_0003__BAG,R_0003_0002__BIG)
& has_conj1(R_0003_0009__BUT,R_0003_0004__WAS)
& r_0003_0004__was(R_0003_0004__WAS)
& has_prd(R_0003_0004__WAS,R_0003_0005__FULL)
& r_0003_0005__full(R_0003_0005__FULL)
& has_r_0003_0006__of(R_0003_0005__FULL,R_0003_0007__THEM)
& has_arg0(R_0003_0004__WAS,R_0003_0001__THAT_R_0003_0003__BAG) ) ).