Syntax definition ccgr3

Description: Declare the syntax for the three place congruence predicate.

	Ref	Expression
Assertion	ccgr3	class Cgr3