Syntax definition ckard

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

	Ref	Expression
Assertion	ckard	Could not format assertion : No typesetting found for class kard with typecode class