shotokan karate is practiced by what martial artists?
(AND martial_arts.martial_artist (JOIN martial_arts.martial_artist.martial_art m.01dnfp))