Syntax definition cpg

Description: Extend class notation to include the class of partisan game forms.

	Ref	Expression
Assertion	cpg	$$class\mathrm{Pg}$$