48_a_lockdown
I think there was 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))
arc(r_0048_0002__think,r_0048_0001__I,arg0).
arc(r_0048_0002__think,r_0048_0004__was,arg1).
arc(r_0048_0004__was,r_0048_0005__some_r_0048_0006__sniggering,arg0).
fof(formula,axiom,
? [R_0048_0001__I,R_0048_0005__SOME_R_0048_0006__SNIGGERING,R_0048_0004__WAS,R_0048_0002__THINK] :
( r_0048_0001__I(R_0048_0001__I)
& r_0048_0005__some_r_0048_0006__sniggering(R_0048_0005__SOME_R_0048_0006__SNIGGERING)
& r_0048_0002__think(R_0048_0002__THINK)
& has_arg1(R_0048_0002__THINK,R_0048_0004__WAS)
& r_0048_0004__was(R_0048_0004__WAS)
& has_arg0(R_0048_0004__WAS,R_0048_0005__SOME_R_0048_0006__SNIGGERING)
& has_arg0(R_0048_0002__THINK,R_0048_0001__I) ) ).