Syntax definition cold

Description: Declare the symbol for the older than function.

	Ref	Expression
Assertion	cold	class O