akes no difference to both human conceptual clarity and machine
&gt;  &gt; computational efficiency.
&gt; 
&gt; I certainly agree.  The CL standard will have no philosophical
&gt; assertions of any kind.  It will not make any claims about the
&gt; conceptual clarity or computational efficiency of one notation or
&gt; another.  On that topic, it is entirely neutral.  Its only purpose
&gt; is to provide a model-theoretic semantics for a common abstract
&gt; syntax and the grammar rules for several different c