Syntax definition cmwgfs

Description: The set of weakly grammatical formal systems.

	Ref	Expression
Assertion	cmwgfs	class mWGFS