Syntax definition ccvr

Description: Extend class notation with covers relation.

	Ref	Expression
Assertion	ccvr	$$class⋖$$