12_a_stories_10_k03
I just realised that I hadn't done the bread and butter and so I did that.
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
(ADVP-NIM (ADV just;{just}))
(VBD;_Tf_ realised;{realise})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (PRO I;{I}))
(HVD;_cat_Ve_ had;{have})
(NEG;_clitic_ n<apos>t;{not})
(IP-PPL-CAT (DON;_Tn_ done;{do})
(NP-OB1;{B_AND_B} (D the;{the})
(NLYR (NLYR (N bread;{bread}))
(CONJP (CONJ and;{and})
(NLYR (N butter;{butter})))))))))
(CONJP (CONJ and;{and})
(ILYR (ADVP-NIM (ADV so;{so}))
(NP-SBJ (PRO I;{I}))
(DOD;_Tn_ did;{do})
(NP-OB1;{B_AND_B} (D;_nphd_ that;{that})))))
(PUNC .))
(ID 12_a_stories_10_k03))
arc(r_0012_0003__realised,r_0012_0001__I,arg0).
arc(r_0012_0003__realised,r_0012_0002__just,nim).
arc(r_0012_0003__realised,r_0012_0007__n_apos_t,arg1).
arc(r_0012_0006__had,r_0012_0008__done,scope).
arc(r_0012_0007__n_apos_t,r_0012_0006__had,keep_scope).
arc(r_0012_0008__done,r_0012_0001__I,arg0).
arc(r_0012_0008__done,r_0012_0009__the_r_0012_0010__bread_r_0012_0011__and_r_0012_0012__butter,arg1).
arc(r_0012_0013__and,r_0012_0003__realised,conj1).
arc(r_0012_0013__and,r_0012_0016__did,conj2).
arc(r_0012_0016__did,r_0012_0001__I,arg0).
arc(r_0012_0016__did,r_0012_0009__the_r_0012_0010__bread_r_0012_0011__and_r_0012_0012__butter,arg1).
arc(r_0012_0016__did,r_0012_0014__so,nim).
fof(formula,axiom,
? [R_0012_0001__I,R_0012_0002__JUST,R_0012_0003__REALISED,R_0012_0009__THE_R_0012_0010__BREAD_R_0012_0011__AND_R_0012_0012__BUTTER,R_0012_0014__SO,R_0012_0016__DID,R_0012_0013__AND] :
( r_0012_0001__I(R_0012_0001__I)
& r_0012_0002__just(R_0012_0002__JUST)
& r_0012_0009__the_r_0012_0010__bread_r_0012_0011__and_r_0012_0012__butter(R_0012_0009__THE_R_0012_0010__BREAD_R_0012_0011__AND_R_0012_0012__BUTTER)
& r_0012_0014__so(R_0012_0014__SO)
& r_0012_0013__and(R_0012_0013__AND)
& has_conj2(R_0012_0013__AND,R_0012_0016__DID)
& r_0012_0016__did(R_0012_0016__DID)
& has_nim(R_0012_0016__DID,R_0012_0014__SO)
& has_arg1(R_0012_0016__DID,R_0012_0009__THE_R_0012_0010__BREAD_R_0012_0011__AND_R_0012_0012__BUTTER)
& has_arg0(R_0012_0016__DID,R_0012_0001__I)
& has_conj1(R_0012_0013__AND,R_0012_0003__REALISED)
& r_0012_0003__realised(R_0012_0003__REALISED)
& has_arg1(R_0012_0003__REALISED,R_0012_0007__N_APOS_T)
& ~ ? [R_0012_0006__HAD_R_0012_0008__DONE] :
( r_0012_0006__had_r_0012_0008__done(R_0012_0006__HAD_R_0012_0008__DONE)
& has_arg1(R_0012_0006__HAD_R_0012_0008__DONE,R_0012_0009__THE_R_0012_0010__BREAD_R_0012_0011__AND_R_0012_0012__BUTTER)
& has_arg0(R_0012_0006__HAD_R_0012_0008__DONE,R_0012_0001__I) )
& has_nim(R_0012_0003__REALISED,R_0012_0002__JUST)
& has_arg0(R_0012_0003__REALISED,R_0012_0001__I) ) ).