Syntax definition ccusgr

Description: Extend class notation with complete simple graphs.

	Ref	Expression
Assertion	ccusgr	class ComplUSGraph