Syntax definition citgo

Description: Extend class notation with the integral-over predicate.

	Ref	Expression
Assertion	citgo	class IntgOver