Syntax definition cmsr

Description: The reduct of a pre-statement.

	Ref	Expression
Assertion	cmsr	$$class\mathrm{mStRed}$$