The CML vocabulary for expressions includes both a set of common numeric functions and derivative operators, as well as a set of primitive qualitative constraints on the signs of functions and their derivatives.
