Context                Previous, Next                Top


55_a_kyoto_2
The Sound of One Hand Clapping

%3 r_0055_0001__The_r_0055_0002__Sound The Sound r_0055_0004__One_r_0055_0005__Hand_r_0055_0006__Clapping One Hand Clapping r_0055_0001__The_r_0055_0002__Sound->r_0055_0004__One_r_0055_0005__Hand_r_0055_0006__Clapping of z_000_55_a_kyoto_2_1 z_000_55_a_kyoto_2_1->r_0055_0001__The_r_0055_0002__Sound [nim] 
arc(r_0055_0001__The_r_0055_0002__Sound, r_0055_0004__One_r_0055_0005__Hand_r_0055_0006__Clapping, r_0055_0003__of).
arc(z_000_55_a_kyoto_2_1, r_0055_0001__The_r_0055_0002__Sound, nim2).


%3 r_0055_0001__The_r_0055_0002__Sound The Sound r_0055_0004__One_r_0055_0005__Hand_r_0055_0006__Clapping One Hand Clapping r_0055_0001__The_r_0055_0002__Sound->r_0055_0004__One_r_0055_0005__Hand_r_0055_0006__Clapping of z_000_55_a_kyoto_2_1 z_000_55_a_kyoto_2_1->r_0055_0001__The_r_0055_0002__Sound [nim] 
fof(formula,axiom,
    ? [Z_55_A_KYOTO_2_1,R_55_1_THE_SOUND,R_55_4_ONE_HAND_CLAPPING] :
      ( one_Hand_Clapping(R_55_4_ONE_HAND_CLAPPING)
      & z_55_a_kyoto_2_1(Z_55_A_KYOTO_2_1)
      & nim2(Z_55_A_KYOTO_2_1,R_55_1_THE_SOUND)
      & the_Sound(R_55_1_THE_SOUND)
      & of(R_55_1_THE_SOUND,R_55_4_ONE_HAND_CLAPPING) ) ).


n55_a_kyoto_2 n55_a_kyoto_2_4 The n55_a_kyoto_2_6 Sound n55_a_kyoto_2_9 of n55_a_kyoto_2_12 One n55_a_kyoto_2_14 Hand n55_a_kyoto_2_16 Clapping n55_a_kyoto_2_1 FRAG n55_a_kyoto_2_2 NP n55_a_kyoto_2_1->n55_a_kyoto_2_2 n55_a_kyoto_2_3 D n55_a_kyoto_2_2->n55_a_kyoto_2_3 n55_a_kyoto_2_5 N n55_a_kyoto_2_2->n55_a_kyoto_2_5 n55_a_kyoto_2_7 PP n55_a_kyoto_2_2->n55_a_kyoto_2_7 n55_a_kyoto_2_3->n55_a_kyoto_2_4 n55_a_kyoto_2_5->n55_a_kyoto_2_6 n55_a_kyoto_2_8 P-ROLE n55_a_kyoto_2_7->n55_a_kyoto_2_8 n55_a_kyoto_2_10 NP n55_a_kyoto_2_7->n55_a_kyoto_2_10 n55_a_kyoto_2_8->n55_a_kyoto_2_9 n55_a_kyoto_2_11 NUM n55_a_kyoto_2_10->n55_a_kyoto_2_11 n55_a_kyoto_2_13 N n55_a_kyoto_2_10->n55_a_kyoto_2_13 n55_a_kyoto_2_15 N n55_a_kyoto_2_10->n55_a_kyoto_2_15 n55_a_kyoto_2_11->n55_a_kyoto_2_12 n55_a_kyoto_2_13->n55_a_kyoto_2_14 n55_a_kyoto_2_15->n55_a_kyoto_2_16 
( (FRAG (NP (D The;{the})
            (N Sound;{sound})
            (PP (P-ROLE of;{of})
                (NP (NUM One;{one})
                    (N Hand;{hand})
                    (N Clapping;{clapping})))))
  (ID 55_a_kyoto_2;BDS_00002;54))