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,
? [R_0055_0004__ONE_R_0055_0005__HAND_R_0055_0006__CLAPPING,R_0055_0001__THE_R_0055_0002__SOUND,Z_000_55_A_KYOTO_2_1] :
( r_0055_0004__One_r_0055_0005__Hand_r_0055_0006__Clapping(R_0055_0004__ONE_R_0055_0005__HAND_R_0055_0006__CLAPPING)
& z_000_55_a_kyoto_2_1(Z_000_55_A_KYOTO_2_1)
& has_nim2(Z_000_55_A_KYOTO_2_1,R_0055_0001__THE_R_0055_0002__SOUND)
& r_0055_0001__The_r_0055_0002__Sound(R_0055_0001__THE_R_0055_0002__SOUND)
& has_r_0055_0003__of(R_0055_0001__THE_R_0055_0002__SOUND,R_0055_0004__ONE_R_0055_0005__HAND_R_0055_0006__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))