what was the name of the first student practitioner of chun kuk do ?
(ARGMIN (AND martial_arts.martial_artist (JOIN (R martial_arts.martial_art.well_known_practitioner) m.09ysv_)) (JOIN people.person.education education.education.end_date))