Syntax definition cif

Description: Extend class notation to include the conditional operator for classes.

	Ref	Expression
Assertion	cif	$$classif\left(\phi ,A,B\right)$$