( (IP-MAT (ILYR (ILYR (NP-SBJ;{MRS_DEANE} (N Mrs;{mr})
                                          (NPR Deane;{Deane}))
                      (VBD;_Tn_ made;{make})
                      (NP-OB1 (D a;{a})
                              (ADJP (ADJ suitable;{suitable}))
                              (N comment;{comment})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{BERYL} (NPR Beryl;{Beryl}))
                             (VBD;_Tn_ said;{say})
                             (NP-OB1 (Q;_nphd_ nothing;{nothing})))))
          (PUNC .))
  (ID 17_a_lob_n02))

arc(r_0017_0003__made,r_0017_0001__Mrs_r_0017_0002__Deane,arg0).
arc(r_0017_0003__made,r_0017_0004__a_r_0017_0006__comment,arg1).
arc(r_0017_0004__a_r_0017_0006__comment,r_0017_0005__suitable,attrib).
arc(r_0017_0008__but,r_0017_0003__made,conj1).
arc(r_0017_0008__but,r_0017_0011__nothing__quant,conj2).
arc(r_0017_0010__said,r_0017_0009__Beryl,arg0).
arc(r_0017_0010__said,z_0017_5006,arg1).
arc(r_0017_0011__nothing__quant,r_0017_0010__said,scope).
arc(r_0017_0011__nothing__quant,z_0017_5006,restriction).

fof(formula,axiom,
    ? [R_0017_0001__MRS_R_0017_0002__DEANE,R_0017_0005__SUITABLE,R_0017_0004__A_R_0017_0006__COMMENT,R_0017_0003__MADE,R_0017_0008__BUT] :
      ( r_0017_0001__Mrs_r_0017_0002__Deane(R_0017_0001__MRS_R_0017_0002__DEANE)
      & r_0017_0005__suitable(R_0017_0005__SUITABLE)
      & r_0017_0008__but(R_0017_0008__BUT)
      & ! [Z_0017_5006] :
          ( z_0017_5006(Z_0017_5006)
         => ? [R_0017_0009__BERYL,R_0017_0010__SAID] :
              ( r_0017_0009__Beryl(R_0017_0009__BERYL)
              & r_0017_0010__said(R_0017_0010__SAID)
              & has_arg1(R_0017_0010__SAID,Z_0017_5006)
              & has_arg0(R_0017_0010__SAID,R_0017_0009__BERYL) ) )
      & has_conj1(R_0017_0008__BUT,R_0017_0003__MADE)
      & r_0017_0003__made(R_0017_0003__MADE)
      & has_arg1(R_0017_0003__MADE,R_0017_0004__A_R_0017_0006__COMMENT)
      & r_0017_0004__a_r_0017_0006__comment(R_0017_0004__A_R_0017_0006__COMMENT)
      & has_attrib(R_0017_0004__A_R_0017_0006__COMMENT,R_0017_0005__SUITABLE)
      & has_arg0(R_0017_0003__MADE,R_0017_0001__MRS_R_0017_0002__DEANE) ) ).