arc(r_0014_0001__But_r_0014_0005__did_r_0014_0007__take, r_0014_0004__attempts, arg1).
arc(r_0014_0001__But_r_0014_0005__did_r_0014_0007__take, r_0014_0008__to_r_0014_0009__achieve, arg0).
arc(r_0014_0003__many, r_0014_0002__how, qual7).
arc(r_0014_0004__attempts, r_0014_0003__many, attrib6).
arc(r_0014_0008__to_r_0014_0009__achieve, r_0014_0010__the_r_0014_0012__examples, arg1).
arc(r_0014_0008__to_r_0014_0009__achieve, z_000_14_a_duplex_16, arg0).
arc(r_0014_0010__the_r_0014_0012__examples, r_0014_0011__flawless, attrib29).

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_000_14_A_DUPLEX_16,R_0014_0008__TO_R_0014_0009__ACHIEVE,R_0014_0001__BUT_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_000_14_a_duplex_16(Z_000_14_A_DUPLEX_16)
      & r_0014_0001__But_r_0014_0005__did_r_0014_0007__take(R_0014_0001__BUT_R_0014_0005__DID_R_0014_0007__TAKE)
      & has_arg0(R_0014_0001__BUT_R_0014_0005__DID_R_0014_0007__TAKE,R_0014_0008__TO_R_0014_0009__ACHIEVE)
      & r_0014_0008__to_r_0014_0009__achieve(R_0014_0008__TO_R_0014_0009__ACHIEVE)
      & has_arg0(R_0014_0008__TO_R_0014_0009__ACHIEVE,Z_000_14_A_DUPLEX_16)
      & has_arg1(R_0014_0008__TO_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_attrib29(R_0014_0010__THE_R_0014_0012__EXAMPLES,R_0014_0011__FLAWLESS)
      & has_arg1(R_0014_0001__BUT_R_0014_0005__DID_R_0014_0007__TAKE,R_0014_0004__ATTEMPTS)
      & r_0014_0004__attempts(R_0014_0004__ATTEMPTS)
      & has_attrib6(R_0014_0004__ATTEMPTS,R_0014_0003__MANY)
      & r_0014_0003__many(R_0014_0003__MANY)
      & has_qual7(R_0014_0003__MANY,R_0014_0002__HOW) ) ).

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