Syntax definition c7

Description: Extend class notation to include the number 7.

	Ref	Expression
Assertion	c7	class 7