who was the first student practitioner of taekwon do?
(ARGMIN (AND martial_arts.martial_artist (JOIN (R martial_arts.martial_art.well_known_practitioner) m.07gyv)) (JOIN people.person.education education.education.end_date))