48_a_lockdown
I think there was some sniggering.
arc(r_0048_0002__think, r_0048_0001__I, arg0).
arc(r_0048_0002__think, r_0048_0003__there_r_0048_0004__was, arg1).
arc(r_0048_0003__there_r_0048_0004__was, r_0048_0005__some_r_0048_0006__sniggering, arg0).
fof(formula,axiom,
? [R_48_2_THINK,R_48_1_I,R_48_3_THERE_WAS,R_48_5_SOME_SNIGGERING] :
( i(R_48_1_I)
& some_sniggering(R_48_5_SOME_SNIGGERING)
& think(R_48_2_THINK,R_48_1_I,R_48_3_THERE_WAS)
& there_was(R_48_3_THERE_WAS,R_48_5_SOME_SNIGGERING) ) ).
( (IP-MAT (NP-SBJ;{PERSON_D} (PRO I;{I}))
(VBP;_Tf_ think;{think})
(CP-THT-OB1 (IP-SUB (EX there;{there})
(BED;_ex_V_ was;{be})
(NP-ESBJ (D some;{some})
(N sniggering;{sniggering}))))
(PUNC .))
(ID 48_a_lockdown;speaker=d))