what school uses the do√±a as its mascot?
(AND education.educational_institution (JOIN education.educational_institution.mascot m.01qzf2))