Syntax definition cspn

Description: Extend class notation with subspace span in CH .

	Ref	Expression
Assertion	cspn	class span