which educational institution has sports team penn quakers softball?
(AND education.educational_institution (JOIN education.educational_institution.sports_teams m.0vx42nc))