3_a_stories_11_h38
Stephen and Russell were larking about, and suddenly they knocked over a huge pile of biscuits.
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).
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) ) ).
( (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))