Syntax definition ckard

Description: Extend class definition to include the alternative cardinal size function.

	Ref	Expression
Assertion	ckard	class kard