55_a_kyoto_2
The Sound of One Hand Clapping
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).
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) ) ).
( (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))