The primary syntactic constructs in CSL are formulas and rules, and advice rules.

CSL supports parameterized formulas in the form of function definitions. Formulas can also be enclosed in set blocks, to ensure their evaluation even if they are not output formulas.

In addition, each rule can have an associated message and associated advice which are evaluated if the rule returns false. Each advice rule can also have associated advice, which is evaluated if the advice rule returns true.

This section covers the following constructs: