55_a_kyoto_2
The Sound of One Hand Clapping
( (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))
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_0055_5005,r_0055_0001__The_r_0055_0002__Sound,z_0055_5002).
fof(formula,axiom,
? [R_0055_0004__ONE_R_0055_0005__HAND_R_0055_0006__CLAPPING,R_0055_0001__THE_R_0055_0002__SOUND,Z_0055_5005] :
( 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_0055_5005(Z_0055_5005)
& has_z_0055_5002(Z_0055_5005,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) ) ).