Syntax definition csubgr

Description: Extend class notation with subgraphs.

	Ref	Expression
Assertion	csubgr	$$class\mathrm{SubGraph}$$