( (CP-QUE-MAT (IP-SUB (CONJ;_cl_ But;{but})
                      (NP-OB1 (ADJP (ADVP (WADV how;{how}))
                                    (ADJ many;{many}))
                              (NS attempts;{attempt}))
                      (DOD did;{do})
                      (NP-SBJ (PRO;_provisional_ it;{it}))
                      (VB;_Tn_ take;{take})
                      (IP-INF-NSBJ (TO to;{to})
                                   (VB;_Tn_ achieve;{achieve})
                                   (NP-OB1;{RECORDINGS} (D the;{the})
                                                        (ADJP (ADJ flawless;{flawless}))
                                                        (NS examples;{example}))))
              (PUNC ?))
  (ID 14_a_duplex))

arc(r_0014_0003__many,r_0014_0002__how,qual).
arc(r_0014_0004__attempts,r_0014_0003__many,attrib).
arc(r_0014_0005__did_r_0014_0007__take,r_0014_0004__attempts,arg1).
arc(r_0014_0005__did_r_0014_0007__take,r_0014_0009__achieve,arg0).
arc(r_0014_0009__achieve,r_0014_0010__the_r_0014_0012__examples,arg1).
arc(r_0014_0009__achieve,z_0014_5004,arg0).
arc(r_0014_0010__the_r_0014_0012__examples,r_0014_0011__flawless,attrib).

fof(formula,axiom,
    ? [R_0014_0002__HOW,R_0014_0003__MANY,R_0014_0004__ATTEMPTS,R_0014_0011__FLAWLESS,R_0014_0010__THE_R_0014_0012__EXAMPLES,Z_0014_5004,R_0014_0009__ACHIEVE,R_0014_0005__DID_R_0014_0007__TAKE] :
      ( r_0014_0002__how(R_0014_0002__HOW)
      & r_0014_0011__flawless(R_0014_0011__FLAWLESS)
      & z_0014_5004(Z_0014_5004)
      & r_0014_0005__did_r_0014_0007__take(R_0014_0005__DID_R_0014_0007__TAKE)
      & has_arg0(R_0014_0005__DID_R_0014_0007__TAKE,R_0014_0009__ACHIEVE)
      & r_0014_0009__achieve(R_0014_0009__ACHIEVE)
      & has_arg0(R_0014_0009__ACHIEVE,Z_0014_5004)
      & has_arg1(R_0014_0009__ACHIEVE,R_0014_0010__THE_R_0014_0012__EXAMPLES)
      & r_0014_0010__the_r_0014_0012__examples(R_0014_0010__THE_R_0014_0012__EXAMPLES)
      & has_attrib(R_0014_0010__THE_R_0014_0012__EXAMPLES,R_0014_0011__FLAWLESS)
      & has_arg1(R_0014_0005__DID_R_0014_0007__TAKE,R_0014_0004__ATTEMPTS)
      & r_0014_0004__attempts(R_0014_0004__ATTEMPTS)
      & has_attrib(R_0014_0004__ATTEMPTS,R_0014_0003__MANY)
      & r_0014_0003__many(R_0014_0003__MANY)
      & has_qual(R_0014_0003__MANY,R_0014_0002__HOW) ) ).