Re: in CWM, how does one know that a quad is asserted vs. quoted?

[...]
> - builtins in asserted forumlae are calculated in a query.  So for example
>      "a" log:lessThan "b" will be matched by an asserted foumula even
>   if it isn't explicitly in the formula.  (This doesn't pass through "a
> truth" yet)

are there examples of that at http://dev.w3.org/cvsweb/2000/10/swap/ yet?
what about the unordering of such builtin statements
(matter of variable binding)

--
Jos De Roo