[CL] capsule definition of CL(IF)?

[John F. Sowa]

Rich,

Just erase the S in SCL:

 > Common Logic is a first-order logical language intended
 > for information exchange and transmission.  CL allows
 > for a variety of different syntactic forms, called
 > dialects, all expressible within a common XML-based
 > syntax and all sharing a single semantics.

If you want to say something about CLIF, you can add

The proposed ISO standard for Common Logic includes
the definition of two dialects, the Common Logic
Interchange Format (CLIF) and the Conceptual Graph
Interchange Format (CGIF), whose semantics are defined
by their translation to the abstract syntax of Common Logic.
Many other logic-based languages could also be defined as
CL dialects by similar translations.

John