Syntax definition cmre

Description: The class of Moore systems.

	Ref	Expression
Assertion	cmre	$$class\mathrm{Moore}$$