Syntax definition ctc

Description: Extend class notation to include the transitive closure function.

	Ref	Expression
Assertion	ctc	class TC