a gymnasium is for a place where gym class is held.