TSPC 3_a_stories_11

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

( (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))

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,nim).
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,attrib).
arc(r_0003_0013__a_r_0003_0015__pile,r_0003_0017__biscuits,r_0003_0016__of).

fof(formula,axiom,
    ? [R_0003_0001__STEPHEN,R_0003_0003__RUSSELL,R_0003_0002__AND,R_0003_0004__WERE_R_0003_0005__LARKING_R_0003_0006__ABOUT,R_0003_0009__SUDDENLY,R_0003_0014__HUGE,R_0003_0017__BISCUITS,R_0003_0013__A_R_0003_0015__PILE,R_0003_0011__KNOCKED_R_0003_0012__OVER,R_0003_0008__AND] :
      ( r_0003_0001__Stephen(R_0003_0001__STEPHEN)
      & r_0003_0003__Russell(R_0003_0003__RUSSELL)
      & r_0003_0009__suddenly(R_0003_0009__SUDDENLY)
      & r_0003_0014__huge(R_0003_0014__HUGE)
      & r_0003_0017__biscuits(R_0003_0017__BISCUITS)
      & r_0003_0008__and(R_0003_0008__AND)
      & has_conj2(R_0003_0008__AND,R_0003_0011__KNOCKED_R_0003_0012__OVER)
      & r_0003_0011__knocked_r_0003_0012__over(R_0003_0011__KNOCKED_R_0003_0012__OVER)
      & has_arg1(R_0003_0011__KNOCKED_R_0003_0012__OVER,R_0003_0013__A_R_0003_0015__PILE)
      & r_0003_0013__a_r_0003_0015__pile(R_0003_0013__A_R_0003_0015__PILE)
      & has_r_0003_0016__of(R_0003_0013__A_R_0003_0015__PILE,R_0003_0017__BISCUITS)
      & has_attrib(R_0003_0013__A_R_0003_0015__PILE,R_0003_0014__HUGE)
      & has_nim(R_0003_0011__KNOCKED_R_0003_0012__OVER,R_0003_0009__SUDDENLY)
      & has_arg0(R_0003_0011__KNOCKED_R_0003_0012__OVER,R_0003_0002__AND)
      & r_0003_0002__and(R_0003_0002__AND)
      & has_conj2(R_0003_0002__AND,R_0003_0003__RUSSELL)
      & has_conj1(R_0003_0002__AND,R_0003_0001__STEPHEN)
      & has_conj1(R_0003_0008__AND,R_0003_0004__WERE_R_0003_0005__LARKING_R_0003_0006__ABOUT)
      & r_0003_0004__were_r_0003_0005__larking_r_0003_0006__about(R_0003_0004__WERE_R_0003_0005__LARKING_R_0003_0006__ABOUT)
      & has_arg0(R_0003_0004__WERE_R_0003_0005__LARKING_R_0003_0006__ABOUT,R_0003_0002__AND) ) ).