Context                Previous, Next                Top


13_a_duplex
We were played two recordings, both of which worked very well.

%3 r_0013_0002__were were r_0013_0003__played played r_0013_0002__were->r_0013_0003__played [scope] r_0013_0001__We We r_0013_0003__played->r_0013_0001__We [arg2] r_0013_0004__two_r_0013_0005__recordings two recordings r_0013_0003__played->r_0013_0004__two_r_0013_0005__recordings [arg1] z_000_13_a_duplex_8 r_0013_0003__played->z_000_13_a_duplex_8 [arg0] r_0013_0007__both_quant both [quant] r_0013_0010__worked worked r_0013_0007__both_quant->r_0013_0010__worked [scope] z_000_13_a_duplex_20 r_0013_0007__both_quant->z_000_13_a_duplex_20 [restriction] r_0013_0010__worked->z_000_13_a_duplex_20 [arg0] r_0013_0012__well well r_0013_0010__worked->r_0013_0012__well [nim] z_000_13_a_duplex_20->r_0013_0004__two_r_0013_0005__recordings of r_0013_0011__very very r_0013_0012__well->r_0013_0011__very [qual] 
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).


%3 r_0013_0002__were_r_0013_0003__played were played r_0013_0001__We We r_0013_0002__were_r_0013_0003__played->r_0013_0001__We [arg2] r_0013_0004__two_r_0013_0005__recordings two recordings r_0013_0002__were_r_0013_0003__played->r_0013_0004__two_r_0013_0005__recordings [arg1] z_000_13_a_duplex_8 r_0013_0002__were_r_0013_0003__played->z_000_13_a_duplex_8 [arg0] r_0013_0007__both_quant both [quant] r_0013_0010__worked worked r_0013_0007__both_quant->r_0013_0010__worked [scope] z_000_13_a_duplex_20 r_0013_0007__both_quant->z_000_13_a_duplex_20 [restriction] r_0013_0010__worked->z_000_13_a_duplex_20 [arg0] r_0013_0012__well well r_0013_0010__worked->r_0013_0012__well [nim] z_000_13_a_duplex_20->r_0013_0004__two_r_0013_0005__recordings of r_0013_0011__very very r_0013_0012__well->r_0013_0011__very [qual] 
fof(formula,axiom,
    ? [R_13_2_WERE_PLAYED,Z_13_A_DUPLEX_8,R_13_4_TWO_RECORDINGS,R_13_1_WE] :
      ( two_recordings(R_13_4_TWO_RECORDINGS)
      & we(R_13_1_WE)
      & were_played(R_13_2_WERE_PLAYED,Z_13_A_DUPLEX_8,R_13_4_TWO_RECORDINGS,R_13_1_WE)
      & ! [Z_13_A_DUPLEX_20] :
          ( ( z_13_a_duplex_20(Z_13_A_DUPLEX_20)
            & of(Z_13_A_DUPLEX_20,R_13_4_TWO_RECORDINGS) )
         => ? [R_13_10_WORKED,R_13_12_WELL,R_13_11_VERY] :
              ( very(R_13_11_VERY)
              & worked(R_13_10_WORKED,Z_13_A_DUPLEX_20)
              & nim31(R_13_10_WORKED,R_13_12_WELL)
              & well(R_13_12_WELL)
              & qual32(R_13_12_WELL,R_13_11_VERY) ) ) ) ).


n13_a_duplex n13_a_duplex_4 We n13_a_duplex_6 were n13_a_duplex_9 * n13_a_duplex_11 played n13_a_duplex_14 two n13_a_duplex_16 recordings n13_a_duplex_18 , n13_a_duplex_22 both n13_a_duplex_25 of n13_a_duplex_28 which n13_a_duplex_30 worked n13_a_duplex_34 very n13_a_duplex_36 well n13_a_duplex_38 . n13_a_duplex_1 IP-MAT n13_a_duplex_2 NP-SBJ n13_a_duplex_1->n13_a_duplex_2 n13_a_duplex_5 BED;_cat_VePASS_ n13_a_duplex_1->n13_a_duplex_5 n13_a_duplex_7 IP-PPL-CAT n13_a_duplex_1->n13_a_duplex_7 n13_a_duplex_37 PUNC n13_a_duplex_1->n13_a_duplex_37 n13_a_duplex_3 PRO n13_a_duplex_2->n13_a_duplex_3 n13_a_duplex_3->n13_a_duplex_4 n13_a_duplex_5->n13_a_duplex_6 n13_a_duplex_8 NP-LGS n13_a_duplex_7->n13_a_duplex_8 n13_a_duplex_10 VVN;_Dn.n_ n13_a_duplex_7->n13_a_duplex_10 n13_a_duplex_12 NP-OB1 n13_a_duplex_7->n13_a_duplex_12 n13_a_duplex_8->n13_a_duplex_9 n13_a_duplex_10->n13_a_duplex_11 n13_a_duplex_13 NUM n13_a_duplex_12->n13_a_duplex_13 n13_a_duplex_15 NS n13_a_duplex_12->n13_a_duplex_15 n13_a_duplex_17 PUNC n13_a_duplex_12->n13_a_duplex_17 n13_a_duplex_19 IP-REL n13_a_duplex_12->n13_a_duplex_19 n13_a_duplex_13->n13_a_duplex_14 n13_a_duplex_15->n13_a_duplex_16 n13_a_duplex_17->n13_a_duplex_18 n13_a_duplex_20 NP-SBJ n13_a_duplex_19->n13_a_duplex_20 n13_a_duplex_29 VBD;_I_ n13_a_duplex_19->n13_a_duplex_29 n13_a_duplex_31 ADVP-NIM n13_a_duplex_19->n13_a_duplex_31 n13_a_duplex_21 Q;_nphd_ n13_a_duplex_20->n13_a_duplex_21 n13_a_duplex_23 PP n13_a_duplex_20->n13_a_duplex_23 n13_a_duplex_21->n13_a_duplex_22 n13_a_duplex_24 P-ROLE n13_a_duplex_23->n13_a_duplex_24 n13_a_duplex_26 NP n13_a_duplex_23->n13_a_duplex_26 n13_a_duplex_24->n13_a_duplex_25 n13_a_duplex_27 RPRO n13_a_duplex_26->n13_a_duplex_27 n13_a_duplex_27->n13_a_duplex_28 n13_a_duplex_29->n13_a_duplex_30 n13_a_duplex_32 ADVP n13_a_duplex_31->n13_a_duplex_32 n13_a_duplex_35 ADV n13_a_duplex_31->n13_a_duplex_35 n13_a_duplex_33 ADV n13_a_duplex_32->n13_a_duplex_33 n13_a_duplex_33->n13_a_duplex_34 n13_a_duplex_35->n13_a_duplex_36 n13_a_duplex_37->n13_a_duplex_38 
( (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))