marauder man is the mascot for what educational institution?
(AND education.educational_institution (JOIN education.educational_institution.mascot m.0h778ss))