. . "Of the 13-acre college campus, nine acres have been earmarked for sports on which separate grounds for basketball, volleyball, badminton, football, hockey and other games would be set up." . . . .