Syntax definition ccgr3

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

	Ref	Expression
Assertion	ccgr3	$$class\mathrm{Cgr3}$$