marco ruas instructed which martial artist?
(AND martial_arts.martial_artist (JOIN martial_arts.martial_artist.instructor m.077z7t))