Syntax definition cfae

Description: Extend class notation to include the 'almost everywhere' builder.

	Ref	Expression
Assertion	cfae	class ~ae