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

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_0013_5009___star_,arg0).
arc(r_0013_0007__both__quant,r_0013_0010__worked,scope).
arc(r_0013_0007__both__quant,z_0013_5004,restriction).
arc(r_0013_0010__worked,r_0013_0012__well,nim).
arc(r_0013_0010__worked,z_0013_5004,arg0).
arc(r_0013_0012__well,r_0013_0011__very,qual).
arc(z_0013_5004,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_0013_5009___STAR_,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_0013_5009___star_(Z_0013_5009___STAR_)
      & ! [Z_0013_5004] :
          ( ( z_0013_5004(Z_0013_5004)
            & has_r_0013_0008__of(Z_0013_5004,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_0013_5004)
              & has_nim(R_0013_0010__WORKED,R_0013_0012__WELL)
              & r_0013_0012__well(R_0013_0012__WELL)
              & has_qual(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_0013_5009___STAR_)
      & 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) ) ).