[sc34wg3] TMCL: 4.4.11

[Robert Barta]

Relative to

   http://kill.devc.at/system/files/tmcl.pdf

4.4.11 NameTypeScopeConstraint

What I _guess_ is meant (I have not the feeling that it says so as
clearly as it could):

If I use a certain topic as name type, then these names can (or MUST?)
be scoped with a topic which is an instance of scopetopictype. And the
cardinalities refer to the scoping topics, not to the number of times
the name type itself is used.

And this is now independent from what type a topic is in which the
name is used, right?

--

Again, the naming is inconsistent. It is also a bit unclear in

2 [scopetopictype] why you insist on "topictype" there. Is there some
hidden meaning (i.e. a precondition), in that that only topics flagged
as topicTypes can be used? If not, then I would tone this down.

In the template the parameter is called $scopetype, in the listing it
is scopetopictype.

--

Maybe the example could say something like:

"To constrain that at most two language scoping topics can be used on
the nickname of a person (or any other topic), one would invoke"

  NameTypeScopeConstraint (nickname, language, 0, 2) .

  nickname isa nameType .

  language isa topicType .

and get rid of the comment.

And the person topicType is irrelevant (actually misleading) here,
yes?

--

typo: langauge, instance[s]


\rho
--
Austrian Research Centers, Environmental Monitoring Systems
http://www.smart-systems.at/rd/rd_environment_en.html