Syntax definition cmsax

Description: The indexing set for a syntax axiom.

	Ref	Expression
Assertion	cmsax	class mSAX