Syntax definition cass

Description: Extend class notation with a device to add associativity to internal operations.

	Ref	Expression
Assertion	cass	$$class\mathrm{Ass}$$