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

Tim Berners-Lee wrote:

>
> cwm's root of knowledge is the command line.  Giving cwm
> an input file puts the top level forumula of that file to the
> working forumla.  You can think of that as things which are
> asserted.
>
> If a forumla is asserted contains a "F a log:truth" for some
> subforumula F, then F is asserted to, recursively.
> This is true for the processing of rules.

thanks for the clarification.

to be clear, CWM/N3 diverges from RDF 1.0 in that:

1) statements are 'automatically' asserted merely by being present in the
graph
2) statements are represented as quads (p,s,o,context)

Much of the rdf-logic discussion comes down to these particular issues.

-Jonathan