Syntax definition cub

Description: Declare the syntax for the upper bound relationship functor.

	Ref	Expression
Assertion	cub	class UB 𝑅