3_a_stories_discourse_1
That big bag was full of them, but he somehow crammed it into his rucksack.

n3_a_stories_discourse_1 n3_a_stories_discourse_1__1_1_1_1_1_1 That n3_a_stories_discourse_1__1_1_1_1_2_1_1 big n3_a_stories_discourse_1__1_1_1_1_3_1 bag n3_a_stories_discourse_1__1_1_1_2_1 was n3_a_stories_discourse_1__1_1_1_3_1_1 full n3_a_stories_discourse_1__1_1_1_3_2_1_1 of n3_a_stories_discourse_1__1_1_1_3_2_2_1_1 them n3_a_stories_discourse_1__1_1_2_1 , n3_a_stories_discourse_1__1_1_3_1_1 but n3_a_stories_discourse_1__1_1_3_2_1_1_1 he n3_a_stories_discourse_1__1_1_3_2_2_1_1 somehow n3_a_stories_discourse_1__1_1_3_2_3_1 crammed n3_a_stories_discourse_1__1_1_3_2_4_1_1 it n3_a_stories_discourse_1__1_1_3_2_5_1_1 into n3_a_stories_discourse_1__1_1_3_2_5_2_1_1_1 his n3_a_stories_discourse_1__1_1_3_2_5_2_2_1 rucksack n3_a_stories_discourse_1__1_2_1 . n3_a_stories_discourse_1__1 IP-MAT n3_a_stories_discourse_1__1_1 ILYR n3_a_stories_discourse_1__1->n3_a_stories_discourse_1__1_1 n3_a_stories_discourse_1__1_2 PUNC n3_a_stories_discourse_1__1->n3_a_stories_discourse_1__1_2 n3_a_stories_discourse_1__1_1_1 ILYR n3_a_stories_discourse_1__1_1->n3_a_stories_discourse_1__1_1_1 n3_a_stories_discourse_1__1_1_2 PUNC n3_a_stories_discourse_1__1_1->n3_a_stories_discourse_1__1_1_2 n3_a_stories_discourse_1__1_1_3 CONJP n3_a_stories_discourse_1__1_1->n3_a_stories_discourse_1__1_1_3 n3_a_stories_discourse_1__1_1_1_1 NP-SBJ n3_a_stories_discourse_1__1_1_1->n3_a_stories_discourse_1__1_1_1_1 n3_a_stories_discourse_1__1_1_1_2 BED;_La_ n3_a_stories_discourse_1__1_1_1->n3_a_stories_discourse_1__1_1_1_2 n3_a_stories_discourse_1__1_1_1_3 ADJP-PRD n3_a_stories_discourse_1__1_1_1->n3_a_stories_discourse_1__1_1_1_3 n3_a_stories_discourse_1__1_1_1_1_1 D n3_a_stories_discourse_1__1_1_1_1->n3_a_stories_discourse_1__1_1_1_1_1 n3_a_stories_discourse_1__1_1_1_1_2 ADJP n3_a_stories_discourse_1__1_1_1_1->n3_a_stories_discourse_1__1_1_1_1_2 n3_a_stories_discourse_1__1_1_1_1_3 N n3_a_stories_discourse_1__1_1_1_1->n3_a_stories_discourse_1__1_1_1_1_3 n3_a_stories_discourse_1__1_1_1_1_1->n3_a_stories_discourse_1__1_1_1_1_1_1 n3_a_stories_discourse_1__1_1_1_1_2_1 ADJ n3_a_stories_discourse_1__1_1_1_1_2->n3_a_stories_discourse_1__1_1_1_1_2_1 n3_a_stories_discourse_1__1_1_1_1_2_1->n3_a_stories_discourse_1__1_1_1_1_2_1_1 n3_a_stories_discourse_1__1_1_1_1_3->n3_a_stories_discourse_1__1_1_1_1_3_1 n3_a_stories_discourse_1__1_1_1_2->n3_a_stories_discourse_1__1_1_1_2_1 n3_a_stories_discourse_1__1_1_1_3_1 ADJ n3_a_stories_discourse_1__1_1_1_3->n3_a_stories_discourse_1__1_1_1_3_1 n3_a_stories_discourse_1__1_1_1_3_2 PP n3_a_stories_discourse_1__1_1_1_3->n3_a_stories_discourse_1__1_1_1_3_2 n3_a_stories_discourse_1__1_1_1_3_1->n3_a_stories_discourse_1__1_1_1_3_1_1 n3_a_stories_discourse_1__1_1_1_3_2_1 P-ROLE n3_a_stories_discourse_1__1_1_1_3_2->n3_a_stories_discourse_1__1_1_1_3_2_1 n3_a_stories_discourse_1__1_1_1_3_2_2 NP n3_a_stories_discourse_1__1_1_1_3_2->n3_a_stories_discourse_1__1_1_1_3_2_2 n3_a_stories_discourse_1__1_1_1_3_2_1->n3_a_stories_discourse_1__1_1_1_3_2_1_1 n3_a_stories_discourse_1__1_1_1_3_2_2_1 PRO n3_a_stories_discourse_1__1_1_1_3_2_2->n3_a_stories_discourse_1__1_1_1_3_2_2_1 n3_a_stories_discourse_1__1_1_1_3_2_2_1->n3_a_stories_discourse_1__1_1_1_3_2_2_1_1 n3_a_stories_discourse_1__1_1_2->n3_a_stories_discourse_1__1_1_2_1 n3_a_stories_discourse_1__1_1_3_1 CONJ n3_a_stories_discourse_1__1_1_3->n3_a_stories_discourse_1__1_1_3_1 n3_a_stories_discourse_1__1_1_3_2 ILYR n3_a_stories_discourse_1__1_1_3->n3_a_stories_discourse_1__1_1_3_2 n3_a_stories_discourse_1__1_1_3_1->n3_a_stories_discourse_1__1_1_3_1_1 n3_a_stories_discourse_1__1_1_3_2_1 NP-SBJ n3_a_stories_discourse_1__1_1_3_2->n3_a_stories_discourse_1__1_1_3_2_1 n3_a_stories_discourse_1__1_1_3_2_2 ADVP-NIM n3_a_stories_discourse_1__1_1_3_2->n3_a_stories_discourse_1__1_1_3_2_2 n3_a_stories_discourse_1__1_1_3_2_3 VBD;_Tn.pr_ n3_a_stories_discourse_1__1_1_3_2->n3_a_stories_discourse_1__1_1_3_2_3 n3_a_stories_discourse_1__1_1_3_2_4 NP-OB1 n3_a_stories_discourse_1__1_1_3_2->n3_a_stories_discourse_1__1_1_3_2_4 n3_a_stories_discourse_1__1_1_3_2_5 PP-CLR n3_a_stories_discourse_1__1_1_3_2->n3_a_stories_discourse_1__1_1_3_2_5 n3_a_stories_discourse_1__1_1_3_2_1_1 PRO n3_a_stories_discourse_1__1_1_3_2_1->n3_a_stories_discourse_1__1_1_3_2_1_1 n3_a_stories_discourse_1__1_1_3_2_1_1->n3_a_stories_discourse_1__1_1_3_2_1_1_1 n3_a_stories_discourse_1__1_1_3_2_2_1 ADV n3_a_stories_discourse_1__1_1_3_2_2->n3_a_stories_discourse_1__1_1_3_2_2_1 n3_a_stories_discourse_1__1_1_3_2_2_1->n3_a_stories_discourse_1__1_1_3_2_2_1_1 n3_a_stories_discourse_1__1_1_3_2_3->n3_a_stories_discourse_1__1_1_3_2_3_1 n3_a_stories_discourse_1__1_1_3_2_4_1 PRO n3_a_stories_discourse_1__1_1_3_2_4->n3_a_stories_discourse_1__1_1_3_2_4_1 n3_a_stories_discourse_1__1_1_3_2_4_1->n3_a_stories_discourse_1__1_1_3_2_4_1_1 n3_a_stories_discourse_1__1_1_3_2_5_1 P-ROLE n3_a_stories_discourse_1__1_1_3_2_5->n3_a_stories_discourse_1__1_1_3_2_5_1 n3_a_stories_discourse_1__1_1_3_2_5_2 NP n3_a_stories_discourse_1__1_1_3_2_5->n3_a_stories_discourse_1__1_1_3_2_5_2 n3_a_stories_discourse_1__1_1_3_2_5_1->n3_a_stories_discourse_1__1_1_3_2_5_1_1 n3_a_stories_discourse_1__1_1_3_2_5_2_1 NP-GEN n3_a_stories_discourse_1__1_1_3_2_5_2->n3_a_stories_discourse_1__1_1_3_2_5_2_1 n3_a_stories_discourse_1__1_1_3_2_5_2_2 N n3_a_stories_discourse_1__1_1_3_2_5_2->n3_a_stories_discourse_1__1_1_3_2_5_2_2 n3_a_stories_discourse_1__1_1_3_2_5_2_1_1 PRO;_genm_ n3_a_stories_discourse_1__1_1_3_2_5_2_1->n3_a_stories_discourse_1__1_1_3_2_5_2_1_1 n3_a_stories_discourse_1__1_1_3_2_5_2_1_1->n3_a_stories_discourse_1__1_1_3_2_5_2_1_1_1 n3_a_stories_discourse_1__1_1_3_2_5_2_2->n3_a_stories_discourse_1__1_1_3_2_5_2_2_1 n3_a_stories_discourse_1__1_2->n3_a_stories_discourse_1__1_2_1
( (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))



%3 r_0003_0016__rucksack rucksack r_0003_0010__he he r_0003_0016__rucksack->r_0003_0010__he [gen] r_0003_0012__crammed_r_0003_0014__into crammed into r_0003_0012__crammed_r_0003_0014__into->r_0003_0016__rucksack [arg2] r_0003_0012__crammed_r_0003_0014__into->r_0003_0010__he [arg0] r_0003_0011__somehow somehow r_0003_0012__crammed_r_0003_0014__into->r_0003_0011__somehow [nim] r_0003_0001__That_r_0003_0003__bag That bag r_0003_0012__crammed_r_0003_0014__into->r_0003_0001__That_r_0003_0003__bag [arg1] r_0003_0002__big big r_0003_0001__That_r_0003_0003__bag->r_0003_0002__big [attrib] r_0003_0009__but but r_0003_0009__but->r_0003_0012__crammed_r_0003_0014__into [conj2] r_0003_0004__was was r_0003_0009__but->r_0003_0004__was [conj1] r_0003_0004__was->r_0003_0001__That_r_0003_0003__bag [arg0] r_0003_0005__full full r_0003_0004__was->r_0003_0005__full [prd] r_0003_0007__them them r_0003_0005__full->r_0003_0007__them of
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).



%3 r_0003_0001__That_r_0003_0003__bag That bag r_0003_0002__big big r_0003_0001__That_r_0003_0003__bag->r_0003_0002__big [attrib] r_0003_0004__was was r_0003_0004__was->r_0003_0001__That_r_0003_0003__bag [arg0] r_0003_0005__full full r_0003_0004__was->r_0003_0005__full [prd] r_0003_0007__them them r_0003_0005__full->r_0003_0007__them of r_0003_0009__but but r_0003_0009__but->r_0003_0004__was [conj1] r_0003_0012__crammed_r_0003_0014__into crammed into r_0003_0009__but->r_0003_0012__crammed_r_0003_0014__into [conj2] r_0003_0012__crammed_r_0003_0014__into->r_0003_0001__That_r_0003_0003__bag [arg1] r_0003_0010__he he r_0003_0012__crammed_r_0003_0014__into->r_0003_0010__he [arg0] r_0003_0011__somehow somehow r_0003_0012__crammed_r_0003_0014__into->r_0003_0011__somehow [nim] r_0003_0016__rucksack rucksack r_0003_0012__crammed_r_0003_0014__into->r_0003_0016__rucksack [arg2] 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) ) ).