Syntax definition ctxp

Description: Declare the syntax for tail Cartesian product.

	Ref	Expression
Assertion	ctxp	class ( A (x) B )