3_a_stories_11_h38
Stephen and Russell were larking about, and suddenly they knocked over a huge pile of biscuits.

%3 r_0003_0002__and and r_0003_0001__Stephen Stephen r_0003_0002__and->r_0003_0001__Stephen [conj1] r_0003_0003__Russell Russell r_0003_0002__and->r_0003_0003__Russell [conj2] r_0003_0004__were were r_0003_0005__larking_r_0003_0006__about larking about r_0003_0004__were->r_0003_0005__larking_r_0003_0006__about [scope] r_0003_0005__larking_r_0003_0006__about->r_0003_0002__and [arg0] r_0003_0008__and and r_0003_0008__and->r_0003_0004__were [conj1] r_0003_0011__knocked_r_0003_0012__over knocked over r_0003_0008__and->r_0003_0011__knocked_r_0003_0012__over [conj2] r_0003_0011__knocked_r_0003_0012__over->r_0003_0002__and [arg0] r_0003_0009__suddenly suddenly r_0003_0011__knocked_r_0003_0012__over->r_0003_0009__suddenly [nim] r_0003_0013__a_r_0003_0015__pile a pile r_0003_0011__knocked_r_0003_0012__over->r_0003_0013__a_r_0003_0015__pile [arg1] r_0003_0014__huge huge r_0003_0013__a_r_0003_0015__pile->r_0003_0014__huge [attrib] r_0003_0017__biscuits biscuits r_0003_0013__a_r_0003_0015__pile->r_0003_0017__biscuits of
arc(r_0003_0002__and, r_0003_0001__Stephen, conj1).
arc(r_0003_0002__and, r_0003_0003__Russell, conj2).
arc(r_0003_0004__were, r_0003_0005__larking_r_0003_0006__about, scope).
arc(r_0003_0005__larking_r_0003_0006__about, r_0003_0002__and, arg0).
arc(r_0003_0008__and, r_0003_0004__were, conj1).
arc(r_0003_0008__and, r_0003_0011__knocked_r_0003_0012__over, conj2).
arc(r_0003_0011__knocked_r_0003_0012__over, r_0003_0002__and, arg0).
arc(r_0003_0011__knocked_r_0003_0012__over, r_0003_0009__suddenly, nim28).
arc(r_0003_0011__knocked_r_0003_0012__over, r_0003_0013__a_r_0003_0015__pile, arg1).
arc(r_0003_0013__a_r_0003_0015__pile, r_0003_0014__huge, attrib41).
arc(r_0003_0013__a_r_0003_0015__pile, r_0003_0017__biscuits, r_0003_0016__of).



%3 r_0003_0013__a_r_0003_0015__pile a pile r_0003_0017__biscuits biscuits r_0003_0013__a_r_0003_0015__pile->r_0003_0017__biscuits of r_0003_0014__huge huge r_0003_0013__a_r_0003_0015__pile->r_0003_0014__huge [attrib] r_0003_0011__knocked_r_0003_0012__over knocked over r_0003_0011__knocked_r_0003_0012__over->r_0003_0013__a_r_0003_0015__pile [arg1] r_0003_0009__suddenly suddenly r_0003_0011__knocked_r_0003_0012__over->r_0003_0009__suddenly [nim] r_0003_0002__and and r_0003_0011__knocked_r_0003_0012__over->r_0003_0002__and [arg0] r_0003_0003__Russell Russell r_0003_0002__and->r_0003_0003__Russell [conj2] r_0003_0001__Stephen Stephen r_0003_0002__and->r_0003_0001__Stephen [conj1] r_0003_0008__and and r_0003_0008__and->r_0003_0011__knocked_r_0003_0012__over [conj2] r_0003_0004__were_r_0003_0005__larking_r_0003_0006__about were larking about r_0003_0008__and->r_0003_0004__were_r_0003_0005__larking_r_0003_0006__about [conj1] r_0003_0004__were_r_0003_0005__larking_r_0003_0006__about->r_0003_0002__and [arg0]
fof(formula,axiom,
    ? [R_3_8_AND,R_3_4_WERE_LARKING_ABOUT,R_3_11_KNOCKED_OVER,R_3_2_AND,R_3_1_STEPHEN,R_3_3_RUSSELL,R_3_13_A_PILE,R_3_14_HUGE,R_3_17_BISCUITS,R_3_9_SUDDENLY] :
      ( stephen(R_3_1_STEPHEN)
      & russell(R_3_3_RUSSELL)
      & huge(R_3_14_HUGE)
      & biscuits(R_3_17_BISCUITS)
      & suddenly(R_3_9_SUDDENLY)
      & and(R_3_8_AND)
      & conj1(R_3_8_AND,R_3_4_WERE_LARKING_ABOUT)
      & were_larking_about(R_3_4_WERE_LARKING_ABOUT,R_3_2_AND)
      & and(R_3_2_AND)
      & conj1(R_3_2_AND,R_3_1_STEPHEN)
      & conj2(R_3_2_AND,R_3_3_RUSSELL)
      & conj2(R_3_8_AND,R_3_11_KNOCKED_OVER)
      & knocked_over(R_3_11_KNOCKED_OVER,R_3_2_AND,R_3_13_A_PILE)
      & a_pile(R_3_13_A_PILE)
      & attrib41(R_3_13_A_PILE,R_3_14_HUGE)
      & of(R_3_13_A_PILE,R_3_17_BISCUITS)
      & nim28(R_3_11_KNOCKED_OVER,R_3_9_SUDDENLY) ) ).



n3_a_stories_11_h38 n3_a_stories_11_h38__1_1_1_1_1_1_1_1 Stephen n3_a_stories_11_h38__1_1_1_1_1_2_1_1 and n3_a_stories_11_h38__1_1_1_1_1_2_2_1_1 Russell n3_a_stories_11_h38__1_1_1_2_1 were n3_a_stories_11_h38__1_1_1_3_1_1 larking n3_a_stories_11_h38__1_1_1_3_2_1 about n3_a_stories_11_h38__1_1_2_1 , n3_a_stories_11_h38__1_1_3_1_1 and n3_a_stories_11_h38__1_1_3_2_1_1_1 suddenly n3_a_stories_11_h38__1_1_3_2_2_1_1 they n3_a_stories_11_h38__1_1_3_2_3_1 knocked n3_a_stories_11_h38__1_1_3_2_4_1 over n3_a_stories_11_h38__1_1_3_2_5_1_1 a n3_a_stories_11_h38__1_1_3_2_5_2_1_1 huge n3_a_stories_11_h38__1_1_3_2_5_3_1 pile n3_a_stories_11_h38__1_1_3_2_5_4_1_1 of n3_a_stories_11_h38__1_1_3_2_5_4_2_1_1 biscuits n3_a_stories_11_h38__1_2_1 . n3_a_stories_11_h38__1 IP-MAT n3_a_stories_11_h38__1_1 ILYR n3_a_stories_11_h38__1->n3_a_stories_11_h38__1_1 n3_a_stories_11_h38__1_2 PUNC n3_a_stories_11_h38__1->n3_a_stories_11_h38__1_2 n3_a_stories_11_h38__1_1_1 ILYR n3_a_stories_11_h38__1_1->n3_a_stories_11_h38__1_1_1 n3_a_stories_11_h38__1_1_2 PUNC n3_a_stories_11_h38__1_1->n3_a_stories_11_h38__1_1_2 n3_a_stories_11_h38__1_1_3 CONJP n3_a_stories_11_h38__1_1->n3_a_stories_11_h38__1_1_3 n3_a_stories_11_h38__1_1_1_1 NP-SBJ n3_a_stories_11_h38__1_1_1->n3_a_stories_11_h38__1_1_1_1 n3_a_stories_11_h38__1_1_1_2 BED;_cat_Vg_ n3_a_stories_11_h38__1_1_1->n3_a_stories_11_h38__1_1_1_2 n3_a_stories_11_h38__1_1_1_3 IP-PPL-CAT n3_a_stories_11_h38__1_1_1->n3_a_stories_11_h38__1_1_1_3 n3_a_stories_11_h38__1_1_1_1_1 NLYR n3_a_stories_11_h38__1_1_1_1->n3_a_stories_11_h38__1_1_1_1_1 n3_a_stories_11_h38__1_1_1_1_1_1 NLYR n3_a_stories_11_h38__1_1_1_1_1->n3_a_stories_11_h38__1_1_1_1_1_1 n3_a_stories_11_h38__1_1_1_1_1_2 CONJP n3_a_stories_11_h38__1_1_1_1_1->n3_a_stories_11_h38__1_1_1_1_1_2 n3_a_stories_11_h38__1_1_1_1_1_1_1 NPR n3_a_stories_11_h38__1_1_1_1_1_1->n3_a_stories_11_h38__1_1_1_1_1_1_1 n3_a_stories_11_h38__1_1_1_1_1_1_1->n3_a_stories_11_h38__1_1_1_1_1_1_1_1 n3_a_stories_11_h38__1_1_1_1_1_2_1 CONJ n3_a_stories_11_h38__1_1_1_1_1_2->n3_a_stories_11_h38__1_1_1_1_1_2_1 n3_a_stories_11_h38__1_1_1_1_1_2_2 NLYR n3_a_stories_11_h38__1_1_1_1_1_2->n3_a_stories_11_h38__1_1_1_1_1_2_2 n3_a_stories_11_h38__1_1_1_1_1_2_1->n3_a_stories_11_h38__1_1_1_1_1_2_1_1 n3_a_stories_11_h38__1_1_1_1_1_2_2_1 NPR n3_a_stories_11_h38__1_1_1_1_1_2_2->n3_a_stories_11_h38__1_1_1_1_1_2_2_1 n3_a_stories_11_h38__1_1_1_1_1_2_2_1->n3_a_stories_11_h38__1_1_1_1_1_2_2_1_1 n3_a_stories_11_h38__1_1_1_2->n3_a_stories_11_h38__1_1_1_2_1 n3_a_stories_11_h38__1_1_1_3_1 VAG;_phr_Vp_ n3_a_stories_11_h38__1_1_1_3->n3_a_stories_11_h38__1_1_1_3_1 n3_a_stories_11_h38__1_1_1_3_2 RP n3_a_stories_11_h38__1_1_1_3->n3_a_stories_11_h38__1_1_1_3_2 n3_a_stories_11_h38__1_1_1_3_1->n3_a_stories_11_h38__1_1_1_3_1_1 n3_a_stories_11_h38__1_1_1_3_2->n3_a_stories_11_h38__1_1_1_3_2_1 n3_a_stories_11_h38__1_1_2->n3_a_stories_11_h38__1_1_2_1 n3_a_stories_11_h38__1_1_3_1 CONJ n3_a_stories_11_h38__1_1_3->n3_a_stories_11_h38__1_1_3_1 n3_a_stories_11_h38__1_1_3_2 ILYR n3_a_stories_11_h38__1_1_3->n3_a_stories_11_h38__1_1_3_2 n3_a_stories_11_h38__1_1_3_1->n3_a_stories_11_h38__1_1_3_1_1 n3_a_stories_11_h38__1_1_3_2_1 ADVP-NIM n3_a_stories_11_h38__1_1_3_2->n3_a_stories_11_h38__1_1_3_2_1 n3_a_stories_11_h38__1_1_3_2_2 NP-SBJ n3_a_stories_11_h38__1_1_3_2->n3_a_stories_11_h38__1_1_3_2_2 n3_a_stories_11_h38__1_1_3_2_3 VBD;_phr_Vn<=>p_ n3_a_stories_11_h38__1_1_3_2->n3_a_stories_11_h38__1_1_3_2_3 n3_a_stories_11_h38__1_1_3_2_4 RP n3_a_stories_11_h38__1_1_3_2->n3_a_stories_11_h38__1_1_3_2_4 n3_a_stories_11_h38__1_1_3_2_5 NP-OB1 n3_a_stories_11_h38__1_1_3_2->n3_a_stories_11_h38__1_1_3_2_5 n3_a_stories_11_h38__1_1_3_2_1_1 ADV n3_a_stories_11_h38__1_1_3_2_1->n3_a_stories_11_h38__1_1_3_2_1_1 n3_a_stories_11_h38__1_1_3_2_1_1->n3_a_stories_11_h38__1_1_3_2_1_1_1 n3_a_stories_11_h38__1_1_3_2_2_1 PRO n3_a_stories_11_h38__1_1_3_2_2->n3_a_stories_11_h38__1_1_3_2_2_1 n3_a_stories_11_h38__1_1_3_2_2_1->n3_a_stories_11_h38__1_1_3_2_2_1_1 n3_a_stories_11_h38__1_1_3_2_3->n3_a_stories_11_h38__1_1_3_2_3_1 n3_a_stories_11_h38__1_1_3_2_4->n3_a_stories_11_h38__1_1_3_2_4_1 n3_a_stories_11_h38__1_1_3_2_5_1 D n3_a_stories_11_h38__1_1_3_2_5->n3_a_stories_11_h38__1_1_3_2_5_1 n3_a_stories_11_h38__1_1_3_2_5_2 ADJP n3_a_stories_11_h38__1_1_3_2_5->n3_a_stories_11_h38__1_1_3_2_5_2 n3_a_stories_11_h38__1_1_3_2_5_3 N n3_a_stories_11_h38__1_1_3_2_5->n3_a_stories_11_h38__1_1_3_2_5_3 n3_a_stories_11_h38__1_1_3_2_5_4 PP n3_a_stories_11_h38__1_1_3_2_5->n3_a_stories_11_h38__1_1_3_2_5_4 n3_a_stories_11_h38__1_1_3_2_5_1->n3_a_stories_11_h38__1_1_3_2_5_1_1 n3_a_stories_11_h38__1_1_3_2_5_2_1 ADJ n3_a_stories_11_h38__1_1_3_2_5_2->n3_a_stories_11_h38__1_1_3_2_5_2_1 n3_a_stories_11_h38__1_1_3_2_5_2_1->n3_a_stories_11_h38__1_1_3_2_5_2_1_1 n3_a_stories_11_h38__1_1_3_2_5_3->n3_a_stories_11_h38__1_1_3_2_5_3_1 n3_a_stories_11_h38__1_1_3_2_5_4_1 P-ROLE n3_a_stories_11_h38__1_1_3_2_5_4->n3_a_stories_11_h38__1_1_3_2_5_4_1 n3_a_stories_11_h38__1_1_3_2_5_4_2 NP n3_a_stories_11_h38__1_1_3_2_5_4->n3_a_stories_11_h38__1_1_3_2_5_4_2 n3_a_stories_11_h38__1_1_3_2_5_4_1->n3_a_stories_11_h38__1_1_3_2_5_4_1_1 n3_a_stories_11_h38__1_1_3_2_5_4_2_1 NS n3_a_stories_11_h38__1_1_3_2_5_4_2->n3_a_stories_11_h38__1_1_3_2_5_4_2_1 n3_a_stories_11_h38__1_1_3_2_5_4_2_1->n3_a_stories_11_h38__1_1_3_2_5_4_2_1_1 n3_a_stories_11_h38__1_2->n3_a_stories_11_h38__1_2_1
( (IP-MAT (ILYR (ILYR (NP-SBJ;{STEPHEN_RUSSELL} (NLYR (NLYR (NPR Stephen;{Stephen}))
                                                      (CONJP (CONJ and;{and})
                                                             (NLYR (NPR Russell;{Russell})))))
                      (BED;_cat_Vg_ were;{be})
                      (IP-PPL-CAT (VAG;_phr_Vp_ larking;{lark[about]})
                                  (RP about;{about})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV suddenly;{suddenly}))
                             (NP-SBJ;{STEPHEN_RUSSELL} (PRO they;{they}))
                             (VBD;_phr_Vn<=>p_ knocked;{knock[over]})
                             (RP over;{over})
                             (NP-OB1 (D a;{a})
                                     (ADJP (ADJ huge;{huge}))
                                     (N pile;{pile})
                                     (PP (P-ROLE of;{of})
                                         (NP (NS biscuits;{biscuit})))))))
          (PUNC .))
  (ID 3_a_stories_11_h38))