Syntax definition cotp

Description: Extend class notation to include ordered triple.

	Ref	Expression
Assertion	cotp	class <. A , B , C >.