Syntax definition cm0s

Description: Mapping expressions to statements.

	Ref	Expression
Assertion	cm0s	$$class\mathrm{m0St}$$