Syntax definition cfne

Description: Extend class definition to include the "finer than" relation.

	Ref	Expression
Assertion	cfne	class Fne