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 z_000_13_a_duplex_20 r_0013_0004__two_r_0013_0005__recordings two recordings z_000_13_a_duplex_20->r_0013_0004__two_r_0013_0005__recordings of r_0013_0012__well well r_0013_0011__very very r_0013_0012__well->r_0013_0011__very [qual] r_0013_0010__worked worked r_0013_0010__worked->z_000_13_a_duplex_20 [arg0] r_0013_0010__worked->r_0013_0012__well [nim] r_0013_0007__both_quant both [quant] r_0013_0007__both_quant->z_000_13_a_duplex_20 [restriction] r_0013_0007__both_quant->r_0013_0010__worked [scope] r_0013_0002__were_r_0013_0003__played were played 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_0001__We We r_0013_0002__were_r_0013_0003__played->r_0013_0001__We [arg2] 
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__1_1_1_1 We n13_a_duplex__1_2_1 were n13_a_duplex__1_3_1_1 * n13_a_duplex__1_3_2_1 played n13_a_duplex__1_3_3_1_1 two n13_a_duplex__1_3_3_2_1 recordings n13_a_duplex__1_3_3_3_1 , n13_a_duplex__1_3_3_4_1_1_1 both n13_a_duplex__1_3_3_4_1_2_1_1 of n13_a_duplex__1_3_3_4_1_2_2_1_1 which n13_a_duplex__1_3_3_4_2_1 worked n13_a_duplex__1_3_3_4_3_1_1_1 very n13_a_duplex__1_3_3_4_3_2_1 well n13_a_duplex__1_4_1 . n13_a_duplex__1 IP-MAT n13_a_duplex__1_1 NP-SBJ n13_a_duplex__1->n13_a_duplex__1_1 n13_a_duplex__1_2 BED;_cat_VePASS_ n13_a_duplex__1->n13_a_duplex__1_2 n13_a_duplex__1_3 IP-PPL-CAT n13_a_duplex__1->n13_a_duplex__1_3 n13_a_duplex__1_4 PUNC n13_a_duplex__1->n13_a_duplex__1_4 n13_a_duplex__1_1_1 PRO n13_a_duplex__1_1->n13_a_duplex__1_1_1 n13_a_duplex__1_1_1->n13_a_duplex__1_1_1_1 n13_a_duplex__1_2->n13_a_duplex__1_2_1 n13_a_duplex__1_3_1 NP-LGS n13_a_duplex__1_3->n13_a_duplex__1_3_1 n13_a_duplex__1_3_2 VVN;_Dn.n_ n13_a_duplex__1_3->n13_a_duplex__1_3_2 n13_a_duplex__1_3_3 NP-OB1 n13_a_duplex__1_3->n13_a_duplex__1_3_3 n13_a_duplex__1_3_1->n13_a_duplex__1_3_1_1 n13_a_duplex__1_3_2->n13_a_duplex__1_3_2_1 n13_a_duplex__1_3_3_1 NUM n13_a_duplex__1_3_3->n13_a_duplex__1_3_3_1 n13_a_duplex__1_3_3_2 NS n13_a_duplex__1_3_3->n13_a_duplex__1_3_3_2 n13_a_duplex__1_3_3_3 PUNC n13_a_duplex__1_3_3->n13_a_duplex__1_3_3_3 n13_a_duplex__1_3_3_4 IP-REL n13_a_duplex__1_3_3->n13_a_duplex__1_3_3_4 n13_a_duplex__1_3_3_1->n13_a_duplex__1_3_3_1_1 n13_a_duplex__1_3_3_2->n13_a_duplex__1_3_3_2_1 n13_a_duplex__1_3_3_3->n13_a_duplex__1_3_3_3_1 n13_a_duplex__1_3_3_4_1 NP-SBJ n13_a_duplex__1_3_3_4->n13_a_duplex__1_3_3_4_1 n13_a_duplex__1_3_3_4_2 VBD;_I_ n13_a_duplex__1_3_3_4->n13_a_duplex__1_3_3_4_2 n13_a_duplex__1_3_3_4_3 ADVP-NIM n13_a_duplex__1_3_3_4->n13_a_duplex__1_3_3_4_3 n13_a_duplex__1_3_3_4_1_1 Q;_nphd_ n13_a_duplex__1_3_3_4_1->n13_a_duplex__1_3_3_4_1_1 n13_a_duplex__1_3_3_4_1_2 PP n13_a_duplex__1_3_3_4_1->n13_a_duplex__1_3_3_4_1_2 n13_a_duplex__1_3_3_4_1_1->n13_a_duplex__1_3_3_4_1_1_1 n13_a_duplex__1_3_3_4_1_2_1 P-ROLE n13_a_duplex__1_3_3_4_1_2->n13_a_duplex__1_3_3_4_1_2_1 n13_a_duplex__1_3_3_4_1_2_2 NP n13_a_duplex__1_3_3_4_1_2->n13_a_duplex__1_3_3_4_1_2_2 n13_a_duplex__1_3_3_4_1_2_1->n13_a_duplex__1_3_3_4_1_2_1_1 n13_a_duplex__1_3_3_4_1_2_2_1 RPRO n13_a_duplex__1_3_3_4_1_2_2->n13_a_duplex__1_3_3_4_1_2_2_1 n13_a_duplex__1_3_3_4_1_2_2_1->n13_a_duplex__1_3_3_4_1_2_2_1_1 n13_a_duplex__1_3_3_4_2->n13_a_duplex__1_3_3_4_2_1 n13_a_duplex__1_3_3_4_3_1 ADVP n13_a_duplex__1_3_3_4_3->n13_a_duplex__1_3_3_4_3_1 n13_a_duplex__1_3_3_4_3_2 ADV n13_a_duplex__1_3_3_4_3->n13_a_duplex__1_3_3_4_3_2 n13_a_duplex__1_3_3_4_3_1_1 ADV n13_a_duplex__1_3_3_4_3_1->n13_a_duplex__1_3_3_4_3_1_1 n13_a_duplex__1_3_3_4_3_1_1->n13_a_duplex__1_3_3_4_3_1_1_1 n13_a_duplex__1_3_3_4_3_2->n13_a_duplex__1_3_3_4_3_2_1 n13_a_duplex__1_4->n13_a_duplex__1_4_1 
( (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))