gracie is the instructor to what martial artist?
(AND martial_arts.martial_artist (JOIN martial_arts.martial_artist.instructor m.08t051))