Syntax definition cmgfs

Description: The set of grammatical formal systems.

	Ref	Expression
Assertion	cmgfs	$$class\mathrm{mGFS}$$