which educational institution has mascot alma heights eagle?
(AND education.educational_institution (JOIN education.educational_institution.mascot m.0k_xh0p))