[sc34wg3] Statements vs assertions

[Lars Marius Garshol]

Throughout the current TMDM text the term "statement" is used to mean
"any construct in the model instance that implies something about the
world being modelled". I think this similar to what TMRM calls
"assertion", and I'm wondering whether TMDM should call this
"assertion" instead.

I don't really care which of these two terms TMDM uses, but I think if
we can be consistent that's better than not being consistent. (I
expect that's *really* contentious. :) The question is if using the
same term really *would* be consistent.

Thoughts?

-- 
Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
GSM: +47 98 21 55 50                  <URL: http://www.garshol.priv.no >