Syntax definition cgmdl

Description: The set of models in a grammatical formal system.

	Ref	Expression
Assertion	cgmdl	$$class\mathrm{mGMdl}$$