what is yale university mascot?
(JOIN (R education.educational_institution.mascot) m.08815)