Syntax definition cmufs

Description: The set of unambiguous formal sytems.

	Ref	Expression
Assertion	cmufs	$$class\mathrm{mUFS}$$