arc(r_0013_0002__were, r_0013_0003__played, scope).
arc(r_0013_0003__played, r_0013_0001__We, arg2).
arc(r_0013_0003__played, r_0013_0004__two_r_0013_0005__recordings, arg1).
arc(r_0013_0003__played, z_000_13_a_duplex_8, arg0).
arc(r_0013_0007__both_quant, r_0013_0010__worked, scope).
arc(r_0013_0007__both_quant, z_000_13_a_duplex_20, restriction).
arc(r_0013_0010__worked, r_0013_0012__well, nim31).
arc(r_0013_0010__worked, z_000_13_a_duplex_20, arg0).
arc(r_0013_0012__well, r_0013_0011__very, qual32).
arc(z_000_13_a_duplex_20, r_0013_0004__two_r_0013_0005__recordings, r_0013_0008__of).

fof(formula,axiom,
    ? [R_0013_0001__WE,R_0013_0004__TWO_R_0013_0005__RECORDINGS,Z_000_13_A_DUPLEX_8,R_0013_0002__WERE_R_0013_0003__PLAYED] :
      ( r_0013_0001__We(R_0013_0001__WE)
      & r_0013_0004__two_r_0013_0005__recordings(R_0013_0004__TWO_R_0013_0005__RECORDINGS)
      & z_000_13_a_duplex_8(Z_000_13_A_DUPLEX_8)
      & ! [Z_000_13_A_DUPLEX_20] :
          ( ( z_000_13_a_duplex_20(Z_000_13_A_DUPLEX_20)
            & has_r_0013_0008__of(Z_000_13_A_DUPLEX_20,R_0013_0004__TWO_R_0013_0005__RECORDINGS) )
         => ? [R_0013_0011__VERY,R_0013_0012__WELL,R_0013_0010__WORKED] :
              ( r_0013_0011__very(R_0013_0011__VERY)
              & r_0013_0010__worked(R_0013_0010__WORKED)
              & has_arg0(R_0013_0010__WORKED,Z_000_13_A_DUPLEX_20)
              & has_nim31(R_0013_0010__WORKED,R_0013_0012__WELL)
              & r_0013_0012__well(R_0013_0012__WELL)
              & has_qual32(R_0013_0012__WELL,R_0013_0011__VERY) ) )
      & r_0013_0002__were_r_0013_0003__played(R_0013_0002__WERE_R_0013_0003__PLAYED)
      & has_arg0(R_0013_0002__WERE_R_0013_0003__PLAYED,Z_000_13_A_DUPLEX_8)
      & has_arg1(R_0013_0002__WERE_R_0013_0003__PLAYED,R_0013_0004__TWO_R_0013_0005__RECORDINGS)
      & has_arg2(R_0013_0002__WERE_R_0013_0003__PLAYED,R_0013_0001__WE) ) ).

( (IP-MAT (NP-SBJ (PRO We;{we}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Dn.n_ played;{play})
                      (NP-OB1;{RECORDINGS} (NUM two;{two})
                                           (NS recordings;{recording})
                                           (PUNC ,)
                                           (IP-REL (NP-SBJ (Q;_nphd_ both;{both})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (RPRO which;{which}))))
                                                   (VBD;_I_ worked;{work})
                                                   (ADVP-NIM (ADVP (ADV very;{very}))
                                                             (ADV well;{well})))))
          (PUNC .))
  (ID 13_a_duplex))