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_3_9_BUT,R_3_4_WAS,R_3_5_FULL,R_3_7_THEM,R_3_12_CRAMMED,R_3_1_THAT_BAG,R_3_2_BIG,R_3_11_SOMEHOW,R_3_16_RUCKSACK,R_3_10_HE] :
( them(R_3_7_THEM)
& big(R_3_2_BIG)
& somehow(R_3_11_SOMEHOW)
& he(R_3_10_HE)
& but(R_3_9_BUT)
& conj1(R_3_9_BUT,R_3_4_WAS)
& was(R_3_4_WAS,R_3_1_THAT_BAG,R_3_5_FULL)
& that_bag(R_3_1_THAT_BAG)
& attrib7(R_3_1_THAT_BAG,R_3_2_BIG)
& full(R_3_5_FULL)
& of(R_3_5_FULL,R_3_7_THEM)
& conj2(R_3_9_BUT,R_3_12_CRAMMED)
& crammed(R_3_12_CRAMMED,R_3_10_HE,R_3_1_THAT_BAG)
& nim32(R_3_12_CRAMMED,R_3_11_SOMEHOW)
& into_clr43(R_3_12_CRAMMED,R_3_16_RUCKSACK)
& rucksack(R_3_16_RUCKSACK)
& gen(R_3_16_RUCKSACK,R_3_10_HE) ) ).
( (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))