arc(r_0012_0003__realised, r_0012_0001__I, arg0).
arc(r_0012_0003__realised, r_0012_0002__just, nim7).
arc(r_0012_0003__realised, r_0012_0004__that_r_0012_0006__had, arg1).
arc(r_0012_0003__realised, r_0012_0007__n_apos_t, arg1).
arc(r_0012_0004__that_r_0012_0006__had, r_0012_0008__done, scope).
arc(r_0012_0007__n_apos_t, r_0012_0004__that_r_0012_0006__had, keep_scope).
arc(r_0012_0008__done, r_0012_0001__I, arg0).
arc(r_0012_0008__done, r_0012_0011__and, arg1).
arc(r_0012_0011__and, r_0012_0010__bread, conj1).
arc(r_0012_0011__and, r_0012_0012__butter, conj2).
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_0014__so, nim43).
arc(r_0012_0016__did, r_0012_0017__that, arg1).

fof(formula,axiom,
    ? [R_0012_0001__I,R_0012_0002__JUST,R_0012_0010__BREAD,R_0012_0012__BUTTER,R_0012_0011__AND,R_0012_0004__THAT_R_0012_0006__HAD_R_0012_0008__DONE,R_0012_0003__REALISED,R_0012_0014__SO,R_0012_0017__THAT,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_0010__bread(R_0012_0010__BREAD)
      & r_0012_0012__butter(R_0012_0012__BUTTER)
      & r_0012_0014__so(R_0012_0014__SO)
      & r_0012_0017__that(R_0012_0017__THAT)
      & 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_arg1(R_0012_0016__DID,R_0012_0017__THAT)
      & has_nim43(R_0012_0016__DID,R_0012_0014__SO)
      & 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_0004__that_r_0012_0006__had_r_0012_0008__done(R_0012_0004__THAT_R_0012_0006__HAD_R_0012_0008__DONE)
      & has_arg1(R_0012_0003__REALISED,R_0012_0004__THAT_R_0012_0006__HAD_R_0012_0008__DONE)
      & r_0012_0004__that_r_0012_0006__had_r_0012_0008__done(R_0012_0004__THAT_R_0012_0006__HAD_R_0012_0008__DONE)
      & has_arg1(R_0012_0004__THAT_R_0012_0006__HAD_R_0012_0008__DONE,R_0012_0011__AND)
      & r_0012_0011__and(R_0012_0011__AND)
      & has_conj2(R_0012_0011__AND,R_0012_0012__BUTTER)
      & has_conj1(R_0012_0011__AND,R_0012_0010__BREAD)
      & has_arg0(R_0012_0004__THAT_R_0012_0006__HAD_R_0012_0008__DONE,R_0012_0001__I)
      & has_nim7(R_0012_0003__REALISED,R_0012_0002__JUST)
      & has_arg0(R_0012_0003__REALISED,R_0012_0001__I) ) ).

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