Syntax definition ccprob

Description: Extends class notation with the conditional probability builder.

	Ref	Expression
Assertion	ccprob	$$class\mathrm{cProb}$$