see example with previous definition, where gymnasium is clipped to gym
for more definitions/descriptions, see [gym]
"see example with previous definition, where gymnasium is clipped to gym" What is the definition of "gymnasium"?