3_a_stories_discourse_1
That big bag was full of them, but he somehow crammed it into his rucksack.
arc(r_0003_0001__That_r_0003_0003__bag, r_0003_0002__big, attrib7).
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, conj2).
arc(r_0003_0012__crammed, r_0003_0001__That_r_0003_0003__bag, arg1).
arc(r_0003_0012__crammed, r_0003_0010__he, arg0).
arc(r_0003_0012__crammed, r_0003_0011__somehow, nim32).
arc(r_0003_0012__crammed, r_0003_0016__rucksack, r_0003_0014__into_clr43).
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_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_0012__crammed(R_0003_0012__CRAMMED)
& has_r_0003_0014__into_clr43(R_0003_0012__CRAMMED,R_0003_0016__RUCKSACK)
& r_0003_0016__rucksack(R_0003_0016__RUCKSACK)
& has_gen(R_0003_0016__RUCKSACK,R_0003_0010__HE)
& has_nim32(R_0003_0012__CRAMMED,R_0003_0011__SOMEHOW)
& has_arg0(R_0003_0012__CRAMMED,R_0003_0010__HE)
& has_arg1(R_0003_0012__CRAMMED,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_attrib7(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) ) ).
( (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))