Syntax definition ccolin

Description: Declare the syntax for the colinearity predicate.

	Ref	Expression
Assertion	ccolin	class Colinear