Syntax definition c5

Description: Extend class notation to include the number 5.

	Ref	Expression
Assertion	c5	class 5