( (IP-MAT (NP-SBJ;{MOTHER} (PRO She;{she}))
          (VBD;_Tn_ bought;{buy})
          (NP-OB1 (NLYR (NLYR (D a;{a})
                              (N loaf;{loaf})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ brown;{brown}))
                                      (N bread;{bread}))))
                        (CONJP (CONJ and;{and})
                               (NLYR (NUM five;{five})
                                     (N currant;{currant})
                                     (NS buns;{bun})))))
          (PUNC .))
  (ID 8_a_potter_1902))

arc(r_0008_0002__bought,r_0008_0001__She,arg0).
arc(r_0008_0002__bought,r_0008_0008__and,arg1).
arc(r_0008_0003__a_r_0008_0004__loaf,r_0008_0007__bread,r_0008_0005__of).
arc(r_0008_0007__bread,r_0008_0006__brown,attrib).
arc(r_0008_0008__and,r_0008_0003__a_r_0008_0004__loaf,conj1).
arc(r_0008_0008__and,r_0008_0009__five_r_0008_0010__currant_r_0008_0011__buns,conj2).

fof(formula,axiom,
    ? [R_0008_0001__SHE,R_0008_0006__BROWN,R_0008_0007__BREAD,R_0008_0003__A_R_0008_0004__LOAF,R_0008_0009__FIVE_R_0008_0010__CURRANT_R_0008_0011__BUNS,R_0008_0008__AND,R_0008_0002__BOUGHT] :
      ( r_0008_0001__She(R_0008_0001__SHE)
      & r_0008_0006__brown(R_0008_0006__BROWN)
      & r_0008_0009__five_r_0008_0010__currant_r_0008_0011__buns(R_0008_0009__FIVE_R_0008_0010__CURRANT_R_0008_0011__BUNS)
      & r_0008_0002__bought(R_0008_0002__BOUGHT)
      & has_arg1(R_0008_0002__BOUGHT,R_0008_0008__AND)
      & r_0008_0008__and(R_0008_0008__AND)
      & has_conj2(R_0008_0008__AND,R_0008_0009__FIVE_R_0008_0010__CURRANT_R_0008_0011__BUNS)
      & has_conj1(R_0008_0008__AND,R_0008_0003__A_R_0008_0004__LOAF)
      & r_0008_0003__a_r_0008_0004__loaf(R_0008_0003__A_R_0008_0004__LOAF)
      & has_r_0008_0005__of(R_0008_0003__A_R_0008_0004__LOAF,R_0008_0007__BREAD)
      & r_0008_0007__bread(R_0008_0007__BREAD)
      & has_attrib(R_0008_0007__BREAD,R_0008_0006__BROWN)
      & has_arg0(R_0008_0002__BOUGHT,R_0008_0001__SHE) ) ).